[LOGICA MATEMATICA] Skolemizzazione
Clicca QUI per vedere il messaggio nel forum |
| DarkStalker |
Ciao a tutti,
volevo giusto sapere se la skolemizzazione la chiede ancora.
Studiando le dispense del prof nn trovo nulla ne su skolemizzazione ne su unificazione (forse riguarda il prolog?) |
| stehouse |
no nel primo compitino nn c'era ne skolemizzazione nè unificazione
solo dimostrazione , contromodello , dpll e le 3 domandine solite |
| Joliet Jake |
scusate, ma dall'assenza di skolemizzazione ed unificazione si deduce che non ci sono nè mai ci saranno nei compitini?
io non ho seguito e non capisco sinceramente dove dovrei cercare per saperle.. |
|
|
|
