Docente
|
ABRUSCI VITO MICHELE
(programma)
IL PROGRAMMA SI ARTICOLA IN DUE UNITÀ DIDATTICHE. PRIMA UNITÀ DIDATTICA (36 ORE) A) I TEMI DELLA LOGICA B) LOGICA CLASSICA (PROPOSIZIONI, DIMOSTRAZIONI, PRINCIPALI CONNETTIVI PROPOSIZIONALI, QUANTIFICATORI) C) PANORAMICA SUI TEMI DELLA SECONDA UNITÀ DIDATTICA SECONDA UNITÀ DIDATTICA (36 ORE) D) LOGICA CLASSICA (LOGICA DEL PRIMO ORDINE, CLASSI E INSIEMI, CODICI BINARI E ALGBERA DI BOOLE) E) MACCHINA DI TURING E CALCOLABILITÀ F) ASSIOMATIZZAZIONE DELLA LOGICA.
(testi)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2012
|