1 Insiemi (definizioni estensionali e intensionali, sottoinsiemi e insiemi potenza, unione, intersezione, complementazione, differenza e differenza simmetrica, partizioni, prodotto cartesiano, sequenze, coppie e n-uple ordinate, relazioni, funzioni e operazioni, funzione inversa, composizione di funzioni, cardinalità degli insiemi, tecnica di diagonalizzazione, multinsiemi, insiemi quoziente e classi di resto modulo n, cenni di analisi combinatoria)
2 Strutture relazionali, grafi e ordinamenti (proprietà delle relazioni, tabelle e matrici booleane e relative operazioni, grafi, relazioni d’equivalenza, composizione di relazioni, strutture relazionali e ordinamenti, algebra relazionale, chiusura transitiva, ordinali e reticoli, funzioni monotone su insiemi ordinati, teorema del punto fisso)
3 Algebra di Boole (semigruppi, monoidi e gruppi, congruenze e quozienti, omomorfismi e isomorfismi, algebra booleana)
4 Introduzione all’induzione (principi d’induzione matematica, induzione e ricorsione su insiemi, stringhe, formule ben formate)
5 Logica: linguaggi proposizionali (linguaggio e semantica, apparato deduttivo, sintassi e semantica della logica proposizionale, equivalenza logica, modelli, decidibilità, completezza di insiemi di connettivi)
6 Logica: sistemi deduttivi proposizionali (tavole di verità, tableaux proposizionali, completezza e correttezza, calcolo della deduzione naturale)
7 Logica: linguaggi predicativi (sintassi della logica predicativa, variabili libere e legate, interpretazioni e modelli, equivalenza semantica, connettivi e operatori insiemistici, teorie del primo ordine)
8 Logica: sistemi deduttivi predicativi (tableaux per la logica predicativa, completezza e correttezza nel calcolo predicativo, accenni di calcolo della deduzione naturale)
