Computational logic
A.A. 2023/2024
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
Responsabile
Periodo
Primo semestre
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