Semesterside for IN3070 - Høst 2019

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!

13. jan. 2020 11:16

The exam and model solutions are published here.  The grading guidelines will be published after we are done with the grading.


16. des. 2019 16:08

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.

2. des. 2019 21:16