en | de

Computational Logic

master program

VO2  SS 2017  703607

Lecturers

room consultation hours
VO Aart Middeldorp 3M07 Monday12:00 – 13:30
PS Vincent van Oostrom 3M12 Thursday14:15 – 15:45

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.

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: