Last year’s exam
Last year’s exam questions are here. And the solutions and grading guidelines are here.
Note that some questions refer to the «free variable sequent calculus» that we didn’t cover this year.
Exams were oral in many of the previous years, and the content of the lecture was quite different, so it wouldn’t make a lot of sense to practice using those exams.
Publisert 24. nov. 2020 08:19
- Sist endret 24. nov. 2020 08:19