Mutua da
|
20702728 LOGICA E COMUNICAZIONE in Scienze della Comunicazione 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 insieme, codici binari e algebra di Boole B) Macchina di Turing e calcolabilità C) Assiomatizzazione della logica
(testi)
V. MICHELE ABRUSCI, LOGICA. LEZIONI DI PRIMO LIVELLO, Wolters Kluwer Italia, 2018
|