The grading guidelines used for the exam are now published here.
Of 25 candidates, 9 got a B, and 7 an A. Very well done 👍
It was great to see that so many of you really understood a lot of this course, and I hope you enjoyed it!
The exam and model solutions are published here. The grading guidelines will be published after we are done with the grading.
As previously announced (and required on the course page) you may not bring any printed or written material to the exam.
However, the exam includes a number of slides with definitions of syntax, semantics, and calculi for various logics.
You can see the provided slides here.
Institutt for informatikk