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, CEDAM, PADOVA, 2012 (terza edizione: Wolters Kluwer Italia, 2016)
|