Corso di METODI FORMALI E LOGICA PER L'INFORMATICA
Laurea Magistrale in Informatica
A.A. 2017/2018
Docenti: Giovanna D'Agostino, Marina Lenisa
Il corso è diviso in 2 moduli:
- Logica
- Metodi Formali
Modalità d'esame:
-
L'esame è costituito da una prova scritta ed una orale.
- La prova scritta e la prova orale sono costituite da due parti: parte I (Logica) e parte II (Metodi Formali).
- Le due parti della prova scritta possono essere
sostenute in un unico appello (compito completo)
oppure separatamente in due appelli distinti, ma nello stesso anno accademico.
- La prova orale della parte di Metodi è facoltativa.
- La prova orale può essere sostenuta in un appello successivo alla prova scritta, ma
entro l'ultima sessione dell'anno accademico in cui si è svolta la prova scritta.