Logica matematica
A.A. 2025/2026
Learning objectives
L'insegnamento ha lo scopo di introdurre i principi fondamentali del ragionamento razionale, tramite l'approccio formale fornito dalla logica matematica, sia a livello proposizionale che a livello predicativo.
Expected learning outcomes
Lo studente dovrà essere in grado di formalizzare ragionamenti razionali tramite le tecniche di prova formale apprese. Dovrà essere inoltre capace di costruire controesempi per ragionamenti fallaci.
Periodo: Secondo 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
Edizione non attiva
INF/01 - INFORMATICA - CFU: 3
MAT/01 - LOGICA MATEMATICA - CFU: 3
MAT/01 - LOGICA MATEMATICA - CFU: 3
Laboratori: 32 ore
Lezioni: 32 ore
Lezioni: 32 ore