Docente
|
CENCIARELLI PIETRO
(programma)
Estensione e specificazione di un insieme
Operatori su insiemi: Intersezione, unione, differenza, complemento, insieme potenza e prodotto cartesiano
Relazioni (definizione), relazioni riflessive, antiriflessive, simmetriche, antisimmetriche
Relazioni transitive, chiusura di una relazione
Relazioni d’ordine e di equivalenza
Funzioni
Numeri naturali e induzione
Cardinalità: numeri transfiniti, cardinalità, la polvere di Cantor
Alberghi transfiniti, la prova di Cantor, funzioni non calcolabili
L’algebra dei sottoinsiemi: Reticoli
L’algebra dei sottoinsiemi: Algebre di Boole
Algebra e modelli
L’implicazione
Logica proposizionale, tableau proposizionali, il sistema di Hilbert
Logica predicativa: sintassi e semantica, tableau predicativi
Giorgio T. Bagni, Daniele Gorla e Anna Labella, Introduzione alla logica e al linguaggio matematico, McGraw-Hill, 2010, ISBN-13: 9788838665059.
|