Useful material
Notes taken in class 1
Axiomatic set theory
Lecturer: Lorenzo Tortora de Falco
Supplementary notes (Italian)
Note: these notes are not standalone
Abstract algebra
Lecturer: Filippo Viviani
Lecture notes (Italian)
Commutative algebra
Lecturer: Margherita Lelli Chiesa
Lecture notes (Italian)
Note: these notes are incomplete
Graph theory
Lecturer: Ana Margarida Mascarenhas Melo
Lecture notes, part 1 (Italian)
Lecture notes, part 2 (Italian)
Automata theory
Lecturer: Pierre-Alain Reynier
Lecture notes (French)
Linear algebra
Lecturer: Angelo Felice Lopez
Lecture notes (Italian)
Algebraic geometry
Lecturer: Angelo Felice Lopez
Lecture notes (Italian)
Note: these notes are incomplete
Notes taken in class 2
Advanced geometry
Lecturer: Massimiliano Pontecorvo
Lecture notes, part 1 (Italian)
Lecture notes, part 2 (Italian)
Topology
Lecturer: Ana Margarida Mascarenhas Melo
Lecture notes, part 1 (Italian)
Lecture notes, part 3 (Italian)
Note: part 2 is missing
Mathematical analysis
Lecturer: Michela Procesi
Lecture notes, part 1 (Italian)
Lecture notes, part 2 (Italian)
Note: part 2 of these notes is incomplete
Complex analysis
Lecturer: Ana Margarida Mascarenhas Melo
Lecture notes, part 1 (Italian)
Lecture notes, part 2 (Italian)
Supplementary notes (Italian)
Probability theory
Lecturer: Elisabetta Candellero
Lecture notes, part 1 (Italian)
Lecture notes, part 2 (Italian)
Lecture notes, part 3 (Italian)
Study of specific topics
Paradox and normalization failure
Joint work with Luis Sánchez Polo
[12/08/2022]
An internal language for autonomous categories
[22/02/2022]
An Anti-Locally-Nameless Approach to Formalizing Quantifiers
[20/01/2022]
Sequenzializzazione di Proof Net in MLL puro
[05/08/2021]
Slides (Italian)
Monadic second order logic
[15/06/2021]
Teoremi di Ramsey
[09/04/2021]
Slides (Italian)
Slides for printing (Italian)
Anelli di valutazione
[08/02/2021]