Dispensa 1 (parte a): Semplici problemi di conteggio, Principio Moltiplicativo.
Dispensa 1 (parte b): Disposizioni con ripetizioni e disposizioni semplici.
Dispensa 2: Principio additivo. Partizioni. Passaggio al Complemento.
Dispensa 3: Regola del pastore. Combinazioni semplici.
Dispensa 4: Doppio conteggio. Buona traduzione.
Dispensa 5: Principio di Inclusione-Esclusione.
Dispensa 6: Caramelle, biscotti e scritture additive. Combinazioni con ripetizione.
Modulo 2 - Funzioni, cardinalità, relazioni
Dispensa 7: Funzioni, definizione insiemistica, immagine, pre-immagine, interazione con operatori insiemistici.
Dispensa 8: Iniezioni, suriezioni, biiezioni.
Dispensa 9: Composizione, caratterizzazioni di iniezioni, suriezioni, biiezioni. Funzione inversa.
Dispensa 10: Cardinalità. Insiemi numerabili e non numerabili. Teorema di Cantor.
Dispensa 11: Relazioni, rappresentazioni di relazioni, simmetria e transitività.
Dispensa 12: Chiusura transitiva.
Dispensa 13: Relazioni di equivalenza e Relazioni d'ordine totale e parziale. Estensioni totali di ordini parziali.
Modulo 3 - Induzione
Dispensa 14: Estendibilità di ordini parziali finiti a ordini totali: dimostrazione per induzione.
Dispensa 15: Principio di induzione.
Dispensa 16: Rinforzo dell'ipotesi induttiva, Induzione Forte, errori di induzione.
Modulo 4 - Logica
Dispensa 17: Logica proposizionale. Concetti base. Linguaggio, proposizioni, assegnamenti, tavole di verità, conseguenza logica.
Dispensa 18: Esempi di formalizzazioni in Logica Proposizionale.
Dispensa 19: Verità notevoli, CNF e DNF, Risoluzione.