Information about the course
Automated Reasoning (NWI-IMC009)
Teacher: Prof Dr H. Zantema, firstname.lastname@example.org.
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
These meetings are on Tuesdays, 10:30 - 11:45 in
HG00.308, on September 4 and 18, October 2 and 16, November 6 and 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
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
To be downloaded for the practical assignment:
Last change: September 5, 2018