Introduzione

• Definizioni
• Paradosso di Russel
• Paradossi nel linguaggio informatico

Modulo 1 (6 CFU)

Teoria degli Insiemi

• Definizioni e Assiomi
• Teoremi

Prime dimostrazioni informali

• Regole logiche
• Dimostrazioni

Relazioni, funzioni, ...

• Coppia ordinata
• Prodotto Cartesiano fra insiemi
• Relazioni
• FUNZIONI
• RELAZIONE DI EQUIVALENZA
• Iniettività, suriettività, biiettività
• Cardinalità
• Insiemi finiti e infiniti