Dispensa 1: Principio Moltiplicativo. Disposizioni semplici e con ripetizione. Versione alta leggibilità
Dispensa 2: Principio Additivo. Nozioni insiemistiche di base. Partizioni. Passaggio al complemento. Versione alta leggibilità
Dispensa 3: Regola del Pastore. Combinazioni semplici. Dimostrazioni per doppio conteggio. Versione alta leggibilità
Dispensa 4: Dimostrazioni per traduzione. Insieme potenza, numero di sottinsiemi di un insieme. Versione alta leggibilità
Dispensa 5: Principio di Inclusione-Esclusione. Versione alta leggibilità
Dispensa 6: Caramelle, scritture additive, Combinazioni con ripetizione. Versione alta leggibilità
Dispensa 7: Funzioni, iniezioni, suriezioni, biiezioni. Versione alta leggibilità
Dispensa 8: Funzioni e operatori insiemistici, composizione di funzioni. Versione alta leggibilità
Dispensa 9: Caratterizzazione di iniezioni, suriezioni e biiezioni. Immagine inversa e funzione inversa. Versione alta leggibilità
Dispensa 10: Cardinalità. Insiemi numerabili, insiemi non numerabili. Versione alta leggibilità
Dispensa 11: Relazioni, relazioni riflessive, simmetriche, transitive. Chiusura transitiva di una relazione. Versione alta leggibilità
Dispensa 12: Relazioni d'ordine. Estensione totale di un ordine parziale. Versione alta leggibilità
Dispensa 13: Cicli ed elementi minimali. Estensione totale di un ordine parziale (dimostrazione alternativa). Versione alta leggibilità
Dispensa 14: Principio di Induzione. Principio del Minimo Numero. Esempi algebrici e combinatori. Versione alta leggibilità
Dispensa 15: Errori di induzione, induzione forte. Versione alta leggibilità
Dispensa 16: Logica proposizionale. Linguaggio, formule, assegnamenti. Conseguenza logica, TAUT, SAT, UNSAT. Versione alta leggibilità
Dispensa 17: Formalizzazioni in logica proposizionale (argomenti, proprietà, principi). Versione alta leggibilità
Dispensa 18: Risoluzione. Correttezza e Completezza. Versione alta leggibilità