en | de

Computational Logic

master program

VO2  SS 2017  703607


room consultation hours
VO Aart Middeldorp 3M07 Wednesday11:30 – 13:00
PS Vincent van Oostrom by arrangement

Time & Place

VO Monday08:15 – 12:00 HS 11
PS Wednesday16:15 – 18:00 SR 13

This course is part of the elective module Automated Reasoning of the master program in Computer Science. The other courses in this module are Automated Theorem Proving and the proseminar Automated Reasoning. Computational Logic is taught in the first half of the semester, Automated Theorem Proving in the second half. The proseminar Automated Reasoning accompanies both and takes place on a biweekly basis.


Online registration is required until 23:59 on April 30 for Computational Logic and Automated Theorem Proving, and until 23:59 on February 21 for Automated Reasoning.


The course will be evaluated by a single exam. The second (written and closed book) exam will take place on Monday 25 June 2018, 14:00 – 16:00 in HS G. Online registration is required before 23:59 on June 11. When preparing for the exam, you may find the exams of the previous iteration of the course useful:

Exam 1


The following book covers many of the topics discussed in the course: