en | de

Automatisches Theorembeweisen

Masterstudium

VO2 + PS1  SS 2013  703608 + 703609

Lehrender

Raum Sprechstunde
VO + PS Georg Moser 1N05 Mittwoch12:00 – 14:00

Time and Place

VO Freitag10:00 – 12:00 RR 20 Georg Moser
PS Freitag09: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