Corso di Logica Matematica

Prof. Silvio Ghilardi

Laurea Magistrale in Informatica - a.a. 2012/2013


AVVISI:

Il prossimo appello si terrà il 12 settembre, alle ore 9.30 presso lo studio del docente al Dipartimento di Matematica, via C.Saldini 50.

Si tratterà dell'ultimo appello tenuto dal prof. Ghilardi (dal prossimo anno accademico subentrerà un altro docente).

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.

Materiali integrativi sulla DPLL (lezione del 15 ottobre 2012) 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).


Programma | Orari | Modalità d'esame | FAQ | Appelli

Ultimo aggiornamento: 21/8/2013