en | de

Automated Theorem Proving

master program

VO2 + PS1  SS 2017  703608 + 703609


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

Time and Place

VO Monday08:15 – 11:45 HS 11 Georg Moser
PS Wednesday16: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