Lecturer

		room	consultation hours
VO	Georg Moser	1N05	Wednesday	12:00 – 14:00

Time and Place

VO		Monday	08:15 – 11:45	HS 11	Georg Moser
PS		Wednesday	16:15 – 17:45	SR 13	Vincent van Oostrom

This course is part of the elective module Automated Reasoning of the master program in Computer Science. The other courses in this module are Computational Logic 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.

The lecture starts on May 15. Please register online.

First Exam on July 4, 2017

The first (closed-book) exam took place on July 4 @ 9:15 in SR 12.

exam

solution

Please come by in the office hours of the lecturer, if you have any question regarding your exam papers.

Grading Scheme

The following grading scheme is employed to deduce your final mark.

Points	Mark	Points	Mark	Points	Mark
>= 90	Very Good	>= 60	Acceptable	< 50	Failed
>= 75	Good	>= 50	Pass