A.A. 2007/08
- Corso di Laurea Specialistica in Informatica (biennale)
-
Algoritmi 3
(II semestre)
-
Computabilità
(I semestre)
-
Logica Computazionale
(II semestre)
- SISSIS
-
Temi di Storia dell'Informatica
(I semestre)
-
Didattica dell'Informatica
(II semestre)
-
Temi di Logica Matematica
(II semestre)