LOGICA MATEMATICA

Questo corso da 6 CFU è rivolto agli studenti del secondo anno del corso di laurea triennale in Informatica ex DM 270/04 e fino all'anno accademico 2010-11 si chiamava Logica Matematica 1. Nell'anno accademico 2012-13 il corso si terrà nel primo semestre (dal 24 settembre 2012 al 18 gennaio 2013).

PROGRAMMA D'ESAME

Il programma d'esame è il contenuto delle dispense. La segnalazione di errori o punti poco chiari è assai apprezzata.

REGOLE PER L'ESAME

• L'esame consiste in una prova scritta e in una prova orale, da svolgersi negli appelli che verranno pubblicati su Esse3. Vi saranno due prove nella sessione d'esame di gennaio/febbraio e tre in quella estiva (tra luglio e settembre). 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. L'iscrizione alle prove orali di chi ha superato la prova scritta sarà effettuata automaticamente dal docente. Non iscriversi alla prova orale su Esse3.

• La prova scritta ha la durata di 2 ore. Per sostenere la prova orale è necessario superare la prova scritta con un voto maggiore o uguale a 18. La prova scritta resta valida per i tre appelli seguenti (incluso l'orale immediatamente seguente alla prova scritta): entro tale termine lo studente deve sostenere la prova orale, pena la decadenza del risultato della prova scritta. Ad esempio la prima prova scritta della sessione di gennaio/febbraio è valida fino all'orale del primo appello della sessione estiva.

• Tutti gli studenti possono prendere visione del proprio compito all'inizio delle prove orali oppure durante l'orario di ricevimento studenti (indicato sulla home page e sulla porta dello studio del docente).

• 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 o se non si accetta il voto si può ripetere la prova orale sulla base della stessa prova scritta entro i limiti di validità della medesima stabiliti qui sopra.

TESTI E SOLUZIONI DELLE PROVE SCRITTE

• anno accademico 2009-10 (files pdf zippati)

• anno accademico 2010-11 (files pdf zippati)

• scritto del 6 febbraio 2013

• scritto del 20 febbraio 2013