en | de

Automatic Deduction

master program

VO2  SS 2008  703522


The grade will be determined in an exam, which takes place during the last lecture (3 July). Active participation during the lecture may be taken into accout when determining the final grade.
Exam on July 3

Online registration is required in the week from 23 to 30 June. Registration ends at 12 noon.

Exam. Solution.

Grading is finished. The results are displayed on the Institute Noticeboard. You may see your marked exam on Tuesday, 15 July, from 2 to 3pm in 3N07.

Exam on September 30

Exam. Solution.