| PRINCIPLES OF COMPUTER SCIENCE I (10629560 ↗) | 1º - 1º | ENG | Bioinformatics - Bioinformatica (33455) | Curriculum unico |
| LINEAR ALGEBRA (10627226 ↗) | 1º - 1º | ENG | Applied Computer Science and Artificial Intelligence – Informatica Applicata e Intelligenza Artificiale (33502) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10629106 ↗) | 1º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10629106 ↗) | 1º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 ↗) | 2º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 ↗) | 2º - 2º | ENG | Computer Science - Informatica (33508) | Curriculum unico |