Lecturer

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

Time and Place

VO		Friday	13:15 - 14:45	3W03	Georg Moser
PS		Friday	15:00 - 15:45	3W03	Georg Moser

The lecture and exercise group start on October 9

Please register online for the lecture (till October 31, 23:59 Uhr) and the excercise group (till September 30, 23:59 Uhr).

Third Exam on March 21, 2017

The third exam will take place on March 21, 2017 at 15:30 in 1N05 (ICT Building). The exam is closed-book, please register online.

exam

solution

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

Second Exam on October 6, 2016

The second exam took place on October 6 at 10:00 in 1N05 (ICT Building).

exam

solution

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

First Exam on February 29, 2016

The first (closed-book) exam took place on February 29 @ 10:00 in HS 11. Please register online for the exam.

exam

solution

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

Proseminar

The module "Automated Reasoning" comes with a proseminar. In this proseminar exercises from the course "Computational Logic" and "Automated Theorem Proving" (programming) exercises for the lectures of the module will be posed.

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