Automated Reasoning – Written Examinations

General information

The course includes three written examinations:

Formally, the midterm does not count as an examination but as an examination prerequisite. This means that it is open for every participant of the course and that there is no registration in HISPOS for the midterm.

Participation in the midterm is required to participate in the endterm or re-examination.

The endterm and the re-exam are two seperate and independent examination attempts (with seperate registration in HISPOS). 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).

HISPOS registration

For both the endterm and the re-exam, participants have to register at least one week before the exam. In general, registration must be done via the HISPOS system; this applies in particular to all regular computer science students. (Registration for exams is possible from approximately end of November.)

If you cannot register via HISPOS, for instance because you are an Erasmus student or guest student, please contact the lecturer via e-mail if you want to take the exam (at least one week before the exam).

Grading

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:

Rules

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, calculators, are not permitted.

Examination sheets


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2024-05-02.
Imprint | Data Protection