A.A. 2017-2018



LM420 Teoremi sulla logica 2

Docente

Lorenzo Tortora de Falco

 
codice ateneo20410190
cfu/ECTS7
semestreI 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
pagina web
 
Obiettivi Formativi
Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.