A.A. 2017-2018



LM420 Complementi di Logica Classica

Docente

Lorenzo Tortora de Falco

 
codice ateneo20410190
cfu/ECTS7
semestreI Semestre
anno di corsoMagistrale
propedeuticità:nessuna
mutuato:dal CdLM in Scienze Filosofiche (Teoremi sulla logica 2)
tipologiab (SC)
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.