Università Roma Tre

IL PROGRAMMA SI ARTICOLA IN DUE UNITÀ DIDATTICHE.
PRIMA UNITÀ DIDATTICA (36 ORE)
• 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.
SECONDA UNITÀ DIDATTICA (36 ORE)
• TEOREMA DI INCOMPLETEZZA DELLA LOGICA
• RELAZIONI TRA LOGICA E COMPUTABILITÀ
• RELAZIONI TRA LOGICA E ARITMETICA

PRIMA PARTE DEL CORSO:
VITO MICHELE ABRUSCI, LORENZO TORTORA DE FALCO: LOGICA ,VOL. 1, SPRINGER, 2014
SECONDA PARTE DEL CORSO: DISPENSE DISPONIBILI ON LINE.