Combinatoria
Funzioni, relazioni, cardinalitĂ
Dispensa 6 (Funzioni)
Dispensa 7 (Principio dei Cassetti)
Dispensa 8 (Relazioni)
Principio di Induzione
Dispensa 9 (Induzione Completa e Induzione Forte) (Integrato in data 04/12 con Induzione Strutturale).
Logica
Dispensa 10 (Logica Proposizionale, Risoluzione)