A.A. 2020-2021



Teoremi sulla logica 1

Docente

Lorenzo Tortora de Falco

 
codice ateneo20410451
cfu/ECTS9
semestreI Semestre
anno di corsoIII Anno Insegnamenti consigliati del Gruppo 2 e CdLM
prerequisiti-
tipologiab (LT), b/c (LM)
SSD MAT/01
pagina web
 
Obiettivi Formativi
Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonché dei principali risultati che la concernono.

L'insegnamento è svolto anche dal prof. Roberto Maieli