| Date | Topic | Slides | Notes |
| 05.10.09 | Introduction | ||
| 07.10.09 | Propositional Logic: Syntax | version 3, 12.10.09, correzione di un paio di refusi | |
| 12-14-19.10.09 | Propositional Logic: Semantics and some properties | version 4, 20.10.09, correzione di un paio di refusi (specialmente nella definizione di dualità) | |
| 19-21.10.09 | Propositional Logic: Natural Deduction | version 2, 20.10.09, correzione di un refuso e aggiunta di altro materiale | |
| 02-04.11.09 | Propositional Logic: Soundness and Completeness | version 2, 03.11.09, correzione di un paio di refusi | |
| 04-09.11.09 | Propositional Logic: The missing connectives | version 2, 09.11.09, correzione di un refuso | |
| 11-16.11.09 | Predicate Logic | version 2, 14.11.09, correzione di un refuso e aggiunta di altro materiale version 3, 16.11.09, correzione di un paio di refusi version 4, 30.11.09, correzione di un paio di refusi |
|
| 30.11.09 - 02.12.09 | Predicate Logic: Semantics and some properties | version 2, 11.12.09, correzione di un refuso | |
| 09-14.12.09 | Predicate Logic: Identity and some examples | ||
| 16.12.09 | Predicate Logic: Natural Deduction | ||
| 11.01.10 | Predicate Logic: Natural Deduction for the Existential Quantifier and Identity | ||
| 13.01.10 | Predicate Logic: The Completeness Theorem | ||
| 20.01.10 | Predicate Logic: Applications of Completeness | version 2, 19.01.10, correzione di un paio di refusi | |
| 25.01.10 | Soluzione di esercizi selezionati | ||
| 27.01.10 | I teoremi di incompletezza di Gödel |
Simulazione esame 13.01.10, Soluzione, Esame 01.02.10 A, Esame 01.02.10 B, Esame 26.02.10 A, Esame 26.02.10 B, Esame 21.06.10, Esame 19.07.10, Esame 06.09.10, Esame 20.09.10, Esame 01.02.11, Esame 28.02.11