20702728 - LOGICA E COMUNICAZIONE

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.

ABRUSCI VITO MICHELE

scheda docente | materiale didattico

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, 2018

Modalità Erogazione

Sei ore di insegnamento in ciascuna settimana.

Modalità Valutazione

Dieci domande obbligatorie e due facoltative.