CONOSCENZA DEI PRINCIPALI TEMI DELLA LOGICA E ACQUISIZIONE DEI CONCETTI LOGICI INDISPENSABILI PER UN CORRETTO ARGOMENTARE, PER LA COMUNICAZIONE E PER LA SUCCESSIVA FORMAZIONE INFORMATICA.
scheda docente
materiale didattico
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 insieme, codici binari e algebra di Boole
B) Macchina di Turing e calcolabilità
C) Assiomatizzazione della logica
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 insieme, codici binari e algebra di Boole
B) Macchina di Turing e calcolabilità
C) Assiomatizzazione della logica
Testi Adottati
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, Wolters Kluwer Italia, 2018Modalità Erogazione
Sei ore di insegnamento in ciascuna settimana.Modalità Valutazione
Dieci domande obbligatorie e due facoltative.