20710016 TEOREMI SULLA LOGICA 1 in FILOSOFIA (DM 270) L-5 ABRUSCI VITO MICHELE
(programma)
• DIMOSTRABILITÀ E SODDISFACIBILITÀ, TRASFORMAZIONE DELLE DIMOSTRAZIONI.
• TEOREMA DI COMPATTEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI COMPLETEZZA DELLA LOGICA DEL PRIMO ORDINE.
• TEOREMA DI ELIMINAZIONE DEL TAGLIO PER LA LOGICA DEL PRIMO ORDINE.
(testi)
V. Michele Abrusci, Lorenzo Tortora de Falco: LOGICA Volume 1 Dimostrazioni e modelli al primo ordine. Springer, 2014
|
Università Roma Tre