Lehrende
Zeit & Ort
VO 
Montag  08:15 – 12:00 
HS 11 

PS 
Mittwoch  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.
Anmeldung
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.
Benotung
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
Literatur
The following book covers many of the topics discussed in the course: