Docente
|
PIPERNO ADOLFO
(programma)
Elementi della teoria degli insiemi. Relazioni. Funzioni. Cardinalità. Numeri naturali: operazioni, ordinamento, numeri primi. Il principio di induzione. Cenni sulle algebre di Boole: algebre di classi ed algebre di enunciati. La formalizzazione matematica: sintassi e semantica. Il calcolo degli enunciati: sistemi di verifica e sistemi deduttivi; correttezza e completezza. Il calcolo dei predicati: sistemi di verifica e sistemi deduttivi; correttezza e completezza.
Giorgio T. Bagni, Daniele Gorla, Anna Labella, Introduzione alla logica ed al linguaggio matematico, Mc Graw Hill
|