Automated Reasoning – Written Examinations


To participate in the endterm or re-examination, a minimum of 50% of the tutorial points is required.


Written examinations in the Automated Reasoning course:


The total grade for the course is the weighted average of the grade of the exams:

For passing, the weighted average must be better than 4.1. In particular, the following combinations of results are sufficient for passing:


For all examinations, participants must bring the following items with them: Student card; passport or identity card; pen, stylus or pencil.

All examinations are "open book": Participants are allowed to bring with them any written material. Loose sheets must be marked by the owner's name. We recommend to carry with you in particular the slide copies and the tutorial exercises and solutions. (As a rule of thumb, if you have never used a certain book for the tutorials, then it is unlikely to be useful to you during the exam.)

Electronic devices such as mobile phones, computers, PDAs, calculators, are not permitted.

Examination sheets

Previous | Up | Next
Uwe Waldmann <>, 2011-09-29.
Imprint | Data Protection