Material for the Exam on Monday

The following set of slides can be used for the exam

• logic_uio18_exam_slides_handout.pdf

and annotated with your own remarks. For the preparation for the exam I recommend to have a look at the obligs (without the prover implementation part).

Arne Tobias ?degaard solutions for the exercises in 2017 can be found at https://folk.uio.no/atodegaa/inf3170_grl/  (some of the exercises in 2018 have (slightly) changed!)

The exam will take place on Monday, 17 December at Sal 3D Silurveien 2 (see also the official website).