Logica matematica
A.A. 2020/2021
Obiettivi formativi
L'insegnamento ha lo scopo di introdurre ed approfondire i concetti fondamentali della logica matematica proposizionale e predicativa. Si propone inoltre di esplorare i concetti fondamentali sottostanti ai metodi di deduzione automatica.
Risultati apprendimento attesi
Lo studente dovrà aver appreso i concetti e le prove dei risultati fondamentali della logica matematica, sia a livello proposizionale, sia a livello predicativo. Dovrà inoltre aver appreso i concetti teorici su cui si basano le tecniche di deduzione automatica.
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.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Primo semestre
Docente/i