.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Materiale di studio (http://www.dsy.it/forum/showthread.php?threadid=39146)

Materiale di studio

Ciao Ragazzi,

devo sostenere l'esame di Logica Matematica.
Poichè sono uno studente lavoratore, non posso frequentare le lezioni.
Ho visto che non esistono nemmeno videolezioni relative a questo corso.
Volevo sapere se il materiale di studio fornito dal docente è esaustivo per prepararsi all'esame.
In particolare il docente fornisce il seguente materiale:

1) Dispensa dal titolo : Introduzione alla Logica Elementare
2) Dispensa dal titolo: Introduzione alla logica proposizionale e alla procedura DPLL
3) Materiale relativo alla programmazione in prolog.

Tutta questa roba è sufficiente per sostenere con profitto l'esame.
A me interessa soltanto svolgere decentemente lo scritto dato che, se ho capito bene, l'orale è facoltativo.

Grazie
Ciao

purtroppo da quanto ho capito io, se non frequenti gli esercizi non riuscirai mai a farli perfettamente, a meno che qualcuno te li spieghi..
Gli unici esercizi che ci sono svolti risalgono al massimo al 2006 se non sbaglio, e inoltre (se non ricordo male) sono svolti da uno studente e non da un'insegnante