News
Important Information about the Exam
Written on 27.07.2025 14:00 by Arthur Correnson
Dear all,
Here is some important information regarding the exam.
Cheat Sheets
As said during the last lecture, the exam will be closed-book: bringing cheat sheets and additional materials will not be allowed.
However, we will provide the following documents as part of the exam (if needed):
- list of proof rules for deductive systems
- syntax and operational semantics of programming languages
Content of the Exam
Regarding the exact content of the exam, the collection of problem sets covered throughout the semester is representative of the kind of assignments that will be on the final exam.
Note that there will be no technical questions about Rocq. However, the problem sets from the second part of the lecture are still very much relevant for the exam!
We expect you to be able to write pen-and-paper solutions to these exercises.
Sample Solutions
To help you study for the exam, we uploaded solutions to a selection of problems, including pen-and-paper solutions to Rocq exercises.
These solutions are particularly detailed, and we strongly encourage you to have a look!
LSF
Also, remember to register in the LSF/Hispos at least one week before the exam! If you do not register, you cannot take the exam.
Good luck!
PS: please do not forget about lattice theory ;)