Università Roma Tre

CONOSCENZA DEI PRINCIPALI TEMI DELLA LOGICA E ACQUISIZIONE DEI CONCETTI LOGICI INDISPENSABILE PER UN CORRETTO ARGOMENTARE, PER LA COMUNICAZIONE E PER LA SUCCESSIVA FORMAZIONE INFORMATICA.

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

V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, CEDAM, PADOVA, 2009