Computational logic
A.A. 2024/2025
Learning objectives
Non definiti
Expected learning outcomes
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.
Course syllabus and organization
Edizione unica
MAT/01 - LOGICA MATEMATICA - CFU: 6
Esercitazioni: 12 ore
Lezioni: 40 ore
Lezioni: 40 ore
Docenti:
Carai Luca, Ghilardi Silvio
Professor(s)
Ricevimento:
Su appuntamento (da fissare via email)
Dipartimento di Matematica, via C. Saldini 50, secondo piano, ufficio 2090