A.A. 2017-2018



LM410 Logica Classica del Primo Ordine

Docente

Lorenzo Tortora de Falco

 
codice ateneo20410189
cfu/ECTS7
semestreI Semestre
anno di corsoMagistrale
propedeuticità:-
mutuato:dal CdL in Filosofia (Teoremi sulla logica 1)
tipologiab (LM SC)
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.