Docente
|
PIPERNO ADOLFO
(programma)
Insiemi: operazioni fra insiemi; chiusura. [6 ore]
Relazioni (di equivalenza e di ordine). [4 ore]
Funzioni (iniettive, suriettive, corrispondenze biunivoche). [4 ore]
Cardinalità ed equipotenza; insiemi numerabili e non. [8 ore]
Il principio di induzione; induzione strutturale. [12 ore]
Logica proposizionale; tableau analitici; completezza e compattezza. [12 ore]
Logica predicativa: sintassi e semantica. [8 ore]
Rappresentabilità logica: modelli e teorie; linguaggi formali. [6 ore]
![](/images/icon-multipage.png) Bagni, Gorla, Labella, Introduzione alla logica ed al linguaggio matematico, McGraw-Hill
|