| MATHEMATICAL LOGIC FOR COMPUTER SCIENCE (1047636 ↗) | 2º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| METODI MATEMATICI PER L'INFORMATICA (10621297 ↗) | 1º - 1º | ITA | Informatica (33503) | Curriculum unico |
| LOGICS AND REASONING (10620665 ↗) | 1º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| LOGICS AND REASONING (10620665 ↗) | 1º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| LOGICA MATEMATICA (1022365 ↗) | 3º - 1º | ITA | Matematica (33592) | Storia, didattica e fondamenti |
| MATHEMATICAL LOGIC FOR COMPUTER SCIENCE (1047636 ↗) | 2º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |