en | de

Automated Theorem Proving

master program

VO2 + PS1  WS 2015/2016  703608 + 703609

Lecturer

room consultation hours
VO + PS Georg Moser 1N05 Wednesday12: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