Mutua da
|
20702728 LOGICA E COMUNICAZIONE in SCIENZE DELLA COMUNICAZIONE (DM 270) L-20 N0 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
|