Teacher
|
TORTORA DE FALCO LORENZO
(syllabus)
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
(reference books)
PRIMA PARTE DEL CORSO: VITO MICHELE ABRUSCI, LORENZO TORTORA DE FALCO: LOGICA ,VOL. 1, SPRINGER, 2014 SECONDA PARTE DEL CORSO: DISPENSE DISPONIBILI ON LINE.
|