Indice

• 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
• Induzione (esercitazione)
• 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