Information about the course Automated Reasoning (NWI-IMC009)

Teacher: Prof Dr H. Zantema,

This information is for students at the Radboud University in Nijmegen that follow this semester course in the fall of 2018.

For the goal and contents of the course and a lot of other information like the slides and old examinations, see general information on the course Automated Reasoning in Eindhoven

This course is not given as a full regular course in Nijmegen, as it is in Eindhoven. In order to do it completely in Nijmegen, video recordings from Fall 2013 from the Eindhoven course will be made available via a drop box link announced in Brightspace.
For the first part on satisfiability, a MOOC (massive open online course) is available. This can be entered via
After (free) registration, this full course is available for free. Here the material has been split up into parts of around 10 minutes, and the recordings are much more professional than the lecture recordings.
Apart from this video matarial, every two weeks there will be a meeting with the students in Nijmegen, where students may ask questions, and some material will be presented.

These meetings are on Tuesdays, 10:30 - 11:45 in HG00.308, on September 4 and 18, October 2 and 16, November 20, December 4 and 18.

The assessment consists of two parts: a written examination that counts for 40 %, and a practical assignment that counts for 60 %. The written examination is equal to the examination in Eindhoven and will be on the same time in January, 2019.
The practical assignment differs from the practical assignment in Eindhoven in the fact that in Nijmegen it is individual and in Eindhoven it is done in groups of two. This is to justify that the course is 6 ec in Nijmegen and 5 ec in Eindhoven. Further the deadlines are different for these two instances.
For both the written exam and the practical assignment, the grade should be at least 5.0, otherwise the final grade is the minimum of the two parts.

To be downloaded for the practical assignment:

Last change: November 5, 2018