ELEMENTI DI LOGICA MATEMATICA
Questo corso da 3 CFU rivolto agli studenti del secondo anno del corso di laurea triennale in Informatica (ex DM 509/99) si è tenuto per l'ultima volta nell'anno accademico 2008-09. A partire dal marzo 2014 non verranno più fissati appelli, ma chi deve sostenere l'esame è pregato di contattare il docente via email (nome.cognome chiocciola uniud.it) almeno due settimane prima del periodo in cui intende svolgere lo scritto per concordare data e ora.
PROGRAMMA D'ESAME
Il programma d'esame è il contenuto delle dispense (file pdf).
REGOLE PER L'ESAME
L'esame consiste in una prova scritta obbligatoria e in una prova orale facoltativa.
La prova scritta ha la durata di 2 ore.
E' possibile ripetere la prova scritta per migliorare il proprio voto: ma se la nuova prova scritta viene consegnata quella precedente non è più valida.
TESTI E SOLUZIONI DELLE PROVE SCRITTE
A.A. 2003-04 (files pdf zippati)
A.A. 2004-05 (files pdf zippati)
A.A. 2005-06 (files pdf zippati)
A.A. 2006-07 (files pdf zippati)
A.A. 2007-08 (files pdf zippati)
A.A. 2008-09 (files pdf zippati)