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 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
Literature
The following book covers many of the topics discussed in the course: