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 SECONDA UNITÀ DIDATTICA (36 ORE) A) LOGICA CLASSICA : LOGICA DEL PRIMO ORDINE, CLASSI E INSIEMI, CODICI BINARI E ALGBERA DI BOOLE B) MACCHINA DI TURING E CALCOLABILITÀ C) ASSIOMATIZZAZIONE DELLA LOGICA.
(testi)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, Wolters Kluwer Italia, 2016
|