Lecturer

		room	consultation hours
VU	Vincent van Oostrom		by arrangement

Time & Place

VU		Tuesday	09:15 – 12:00	3W03
		Thursday	13:15 – 16:00	3W03

This course is part of the elective module Automated Reasoning of the master program in Computer Science. The other course in this module is Automated Theorem Proving. Computational Logic is taught in the first half of the semester, Automated Theorem Proving in the second half.

Grading

The course will be evaluated by means of weekly exercises (on thursdays), and a final exam, each contributing fifty percent to the final grade

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

.Exams.

• ws15-1
• ws15-2
• ss17-1 (solutions)
• ss17-2 (solutions)
• ss20-1 (solutions)