Lehrender

		Raum	Sprechstunde
VU	Vincent van Oostrom		nach Vereinbarung

Zeit & Ort

VU		Dienstag	09:15 – 12:00	3W03
		Donnerstag	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.

Benotung

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

Literatur

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)