Logica
(6 CFU) per il Corso di Laurea Magistrale in Sicurezza Informatica.
Logica Matematica
(6 CFU) per il Corso di Laurea Magistrale in Informatica.
Logica Matematica
(5 CFU) per i Corsi di Laurea Triennali.
Fondamenti di Logica Matematica
(6 CFU) per il Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione e i Corsi di Laurea Triennali.
Laboratorio di programmazione
(6 CFU).