Lecturers

		room	consultation hours
VO	Aart Middeldorp	3M07	Wednesday	11:30 – 13:00
PS	Vincent van Oostrom		by arrangement

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
• exam 2

Exam 1

• questions
• solutions

Literature

The following book covers many of the topics discussed in the course:

• Melvin Fitting, First-Order Logic and Automated Theorem Proving (second edition), Springer, 1996, ISBN 978-1-4612-7515-2