Logica matematica

A.A. 2020/2021
6
Crediti massimi
48
Ore totali
SSD
MAT/01
Lingua
Italiano
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.
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
MAT/01 - LOGICA MATEMATICA - CFU: 6
Lezioni: 48 ore
Docente/i
Ricevimento:
su appuntamento
stanza 4010 via Celoria 18