A.A. 2019-2020



LM420 Teoremi sulla logica 2

Docente

Lorenzo Tortora de Falco

 
codice ateneo20410455
cfu/ECTS6
semestreII Semestre
anno di corsoLaurea Triennale III Anno Altri insegnamenti e Laurea Magistrale
valutazionescritto e orale
mutuato:dal CdLM in Scienze Filosofiche
propedeuticità:-
tipologiad (LT), b/c (LM)
SSD MAT/01
 
Obiettivi Formativi
Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.