- Oggetto:
- Oggetto:
Metodi logici per la matematica e l'informatica
- Oggetto:
Logical methods for Mathematics and Informatics
- Oggetto:
Anno accademico 2021/2022
- Codice dell'attività didattica
- MAT0176
- Anno
- 3° anno
- Periodo didattico
- Da definire
- Tipologia
- D.M. 270 TAF C - Affine o integrativo
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- INF/01 - informatica
- Lingua di insegnamento
- Italiano
- Oggetto:
Sommario insegnamento
Testi consigliati e bibliografia
- Oggetto:
