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. Nei prossimi anni accademici gli appelli d'esame andranno via via diradandosi: nell'anno accademico 2012-13 ce ne saranno 2 (in gennaio/febbraio e luglio/settembre). Le date delle prove sono indicate su Esse3.

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.

• E' necessario iscriversi alle prove scritte attraverso Esse3. Esse3 chiude le iscrizioni agli scritti alla mezzanotte di due giorni prima della data dello scritto. Solo agli studenti iscritti su Esse3 si garantisce di poter sostenere la prova scritta. Su Esse3 vengono anche pubblicati i risultati delle prove scritte: il non superamento della prima parte dello scritto verrà segnalato, dall'indicazione “insufficiente”.

• Ogni studente può prendere visione della propria prova scritta durante l'orario di ricevimento studenti (indicato sulla mia home page e sulla porta del mio studio), oltre che in occasione delle prove orali.

• La prova scritta ha la durata di 2 ore.

• La registrazione del voto della prova scritta avviene durante un appello fissato per la prova orale (quest'ultima è facoltativa). Per sostenere la prova orale bisogna aver superato la prova scritta.

• La prova scritta resta valida per le due prove orali successive (inclusa quella immediatamente seguente alla prova scritta): entro tale termine lo studente deve registrare il voto oppure sostenere la prova orale, pena la decadenza del risultato della prova scritta.

• E' possibile ripetere la prova scritta per migliorare il proprio voto: ma se la nuova prova scritta viene consegnata quella precedente non è più valida.

• Se non si supera la prova orale è necessario ripetere la prova scritta.

• Se non si accetta il voto della prova orale si può ripetere la prova orale sulla base della stessa prova scritta (comunque entro i limiti di validità della medesima stabiliti dai punti precedenti) per una seconda volta.

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)

Risposte alle domande della prima parte della prova scritta del 25/7/12: α V V F V V 1 F V