The slides of the course are available: select the right academic year
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!
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 |
Results (academic year 2019/20)
Surname | Name | 1st | 2nd | 3rd | 4th | Final |
---|---|---|---|---|---|---|
Te | G | 30 | 32 | 19 | 30 | 28 |