Lecturers
Time & Place
VO 
Monday  08:15 – 12:00 
HS 11 

PS 
Wednesday  16: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.
Registration
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.
Grading
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
Literature
The following book covers many of the topics discussed in the course: