en | de

Automated Theorem Proving

master program

VO2 + PS1  SS 2013  703608 + 703609

Lecturer

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

Time and Place

VO Friday10:00 – 12:00 RR 20 Georg Moser
PS Friday09:00 – 10:00 RR 20 Georg Moser

The lecture and the proseminar start on March 22 @ 9:15

Please register online for the proseminar (till March 1, 23:59 Uhr) and the lecture (till March 31, 23:59 Uhr).

Exams

First Exam, July 5, 2013

The first exam took place on July 5 at 10:15 in 3W04. The maximal number of points possible is 100. From the number of points the final mark is calculated, according to the below given table.

exam   
solution

Exercises

The grade for the proseminar is determined by the performance in the laboratory.

Points and Marks

Points≥90≥75≥60≥50<50
MarkSehr GutGutBefriedigendGenĂ¼gendNicht GenĂ¼gend