Università Roma Tre

UNA INTRODUZIONE GENERALE AI MOLTEPLICI TEMI DELLA LOGICA, FRA I QUALI EMERGE QUELLO DELLA COMUNICAZIONE, ORIENTATA ANCHE A FORNIRE LE BASI PER UNA MODERNA FORMAZIONE INFORMATICA.
PRIMA UNITÀ DIDATTICA: I TEMI DELLA LOGICA, LOGICA CLASSICA (PROPOSIZIONI, DIMOSTRAZIONI, PRINCIPALI CONNETTIVI PROPOSIZIONALI, PANORAMICA SUI TEMI DELLA SECONDA UNITÀ DIDATTICA)
SECONDA UNITÀ DIDATTICA: LOGICA CLASSICA (QUANTIFICATORI, LOGICA DEL PRIMO ORDINE, CLASSI E INSIEMI), CODICI BINARI E ALGEBRA DI BOOLE, MACCHINA DI TURING E CALCOLABILITÀ, ASSIOMATIZZAZIONE DELLA LOGICA.

V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO. (VOLUME DISPONIBILE ALL'INIZIO DEL CORSO)