Logica matematica
A.A. 2025/2026
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
Responsabile
Periodo
Secondo semestre
INF/01 - INFORMATICA - CFU: 6
Laboratori: 32 ore
Lezioni: 32 ore
Lezioni: 32 ore
Turni:
Turno
Docente:
Aguzzoli StefanoTurno C
Docente:
Fiorentini CamilloDocente/i