en | de

Computationale Logik


VO2  SS 2017  703607


Raum Sprechstunde
VO Aart Middeldorp 3M07 Montag12:00 – 13:30
PS Vincent van Oostrom 3M12 Donnerstag14:15 – 15:45

Zeit & Ort

VO Montag08:15 – 12:00 HS 11
PS Mittwoch16: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 first (written and closed book) exam will take place on Monday 8 May, 9:00 – 11:00 in HS 11. Online registration is required before 23:59 on May 3. 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: