Computational logic
A.A. 2024/2025
Obiettivi formativi
Non definiti
Risultati apprendimento attesi
Non definiti
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento non può essere seguito come corso singolo. Puoi trovare gli insegnamenti disponibili consultando il catalogo corsi singoli.
Programma e organizzazione didattica
Edizione unica
MAT/01 - LOGICA MATEMATICA - CFU: 6
Esercitazioni: 12 ore
Lezioni: 40 ore
Lezioni: 40 ore
Docenti:
Carai Luca, Ghilardi Silvio
Docente/i
Ricevimento:
Su appuntamento (da fissare via email)
Dipartimento di Matematica, via C. Saldini 50, secondo piano, ufficio 2090