Il giorno di giovedì 19 gennaio si terrà l'ultima lezione del corso. Sarà una lezione interlocutoria, in cui il docente sarà a disposizione per chiarimenti e ripasso.
Le tracce dei problemi utilizzati nel laboratorio del 12 gennaio sono in linea qui e le soluzioni sono in linea qui.
Le tracce dei problemi utilizzati nel laboratorio del 16 novembre sono in linea qui.
Allego qui la documentazione portata da uno studente all'appello del gennaio 2010, documentazione che può costituire un utile punto di riferimento per tutti al momento della preparazione dell'esame.
I file e la documentazione degli esempi discussi nella lezione del 10 novembre 2011 sono in linea qui.
Materiali integrativi sulla DPLL e sul teorema di Herbrand sono in linea rispettivamente qui e qui; lo Spasseditor si può invece scaricare da qui (per la password, contattare il docente).
Segnaliamo il sito mantenuto dal dr. Roberto Bruttomesso che contiene ulteriore materiale didattico utile per il corso (vi si possono scaricare anche alcune slides utilizzate nelle lezioni).