Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.
Curriculum
scheda docente
materiale didattico
Fruizione: 20710122 TEOREMI SULLA LOGICA, 2 in Scienze filosofiche LM-78 R TORTORA DE FALCO LORENZO
Testi Adottati
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 2 Incompletezza, teoria assiomatica degli insiemi, Springer, 2018Modalità Frequenza
La frequenza non è obbligatoria ma è vivamente raccomandata.Modalità Valutazione
Esame scritto e/o orale, di durata variabile, in media tra 30 e 45 minuti.
scheda docente
materiale didattico
Fruizione: 20710122 TEOREMI SULLA LOGICA, 2 in Scienze filosofiche LM-78 R TORTORA DE FALCO LORENZO
Testi Adottati
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 2 Incompletezza, teoria assiomatica degli insiemi, Springer, 2018Modalità Frequenza
La frequenza non è obbligatoria ma è vivamente raccomandata.Modalità Valutazione
Esame scritto e/o orale, di durata variabile, in media tra 30 e 45 minuti.