- Oggetto:
- Oggetto:
Metodi logici per la matematica e l'informatica
- Oggetto:
Logical methods for Mathematics and Informatics
- Oggetto:
Anno accademico 2022/2023
- Codice dell'attività didattica
- MAT0176
- Anno
- 3° anno
- Tipologia
- D.M. 270 TAF C - Affine o integrativo
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- INF/01 - informatica
- Lingua di insegnamento
- Italiano
- Mutuato da
- Logica matematica 1 (MAT0295)Corso di Laurea in Matematica
- Logica matematica 1 (MAT0295)
- Oggetto:
Sommario insegnamento
Testi consigliati e bibliografia
- Oggetto: