Automated Reasoning – Written Examinations

Examination prerequisites



The total grade for the endterm or re-exam is the weighted average of the grades of the exam itself and the midterm:

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

Important changes

Because of the new examination regulations, the current rules differ from the rules of previous years in two points: First, the midterm does not count as an examination but as an examination prerequisite. It is open for every participant of the course. Participation in the midterm and a minimum of 50% of the tutorial points are required to participate in the endterm or re-examination.

Second, the endterm and the re-exam are now two seperate and independent examination attempts. Students can take the first one, the second one, or both, but if they take both, these count as two examination attempts (out of a total of three examination attempts permitted for the module).


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 <>, 2016-04-07.
Imprint | Data Protection