Logica matematica
A.A. 2019/2020
Obiettivi formativi
L'insegnamento ha lo scopo di introdurre i principi fondamentali del ragionamento razionale, tramite l'approccio formale fornito dalla logica matemaica, sia a livello proposizionale che a livello predicativo.
Risultati apprendimento attesi
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.
Programma e organizzazione didattica
Edizione unica
Edizione non attiva
Periodo
Secondo semestre
INF/01 - INFORMATICA
MAT/01 - LOGICA MATEMATICA
MAT/01 - LOGICA MATEMATICA
Laboratori: 16 ore
Lezioni: 40 ore
Lezioni: 40 ore