Mathematical Logic
Program
- Propositional logic: language, deduction system, semantics, soundness, completeness;
- First-order logic: syntax, semantics, soundness, completeness, compactness;
- Set theory: fundamental axioms, ordinals, cardinals, transfinite induction, axiom of choice, continuum hypothesis;
- Computability: computable functions, λ-calculi, simple theory of types;
- Constructive mathematics: intuitionistic logic, propositions as types, normalisation;
- Limiting results: Peano arithmetic, Gödel’s incompleteness theorems, natural incompleteness results.
The slides of the course are available: select the right academic year
Extra: Lesson May 30, 2022
Here are some exercises on natural deduction.
The official online course is available: please carefully read the introductory notes!
The non-official videos are available in the video page.
Note that this course on YouTube differs from the online course!
Assignments
| date | text | solution |
|---|---|---|
| 7 nov 2016 | ||
| 5 dec 2016 | ||
| 16/17 jan 2017 | ||
| 1 feb 2017 | ||
| 23 mar 2018 | ||
| 2 may 2018 | ||
| 25 may 2018 | ||
| 8 jun 2018 | ||
| 31 oct 2018 | ||
| 28 nov 2018 | ||
| 10 jan 2019 | ||
| 5 feb 2019 | ||
| 24 oct 2019 | ||
| 27 nov 2019 | ||
| 10 jan 2020 | ||
| 28 jan 2020 | ||
| 9 apr 2021 | ||
| 30 apr 2021 | ||
| 28 may 2021 | ||
| 15 june 2021 | ||
| 4 april 2022 | ||
| 2 may 2022 | ||
| 23 may 2022 | ||
| 8 june 2022 |
Results
| Surname | Name | 1st | 2nd | 3rd | 4th | Final |
|---|---|---|---|---|---|---|
Marco Benini 