Lehrende

		Raum	Sprechstunde
VO	Aart Middeldorp	3M07	Mittwoch	11:30 – 13:00
PS	Vincent van Oostrom		nach Vereinbarung

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

Exam 1

• questions
• solutions

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