Automated Reasoning


October 25, 2016, Lecture Hall HS001, Building E1 3

When & Where

The course takes place every Tuesday, 14 - 16 (c.t.) and Thursday, 14 - 16 (c.t.) in lecture hall HS001, Building E1 3.


Register here for this course.
Don't forget to register with HISPOS since we are unable to do this automatically.

If you have any questions, please contact Jennifer Müller.


Basic knowledge in theoretical computer science, in particular in logics.

Exercises, Tutorials and Exams

The list of tutorial groups and the exercise, exams sheets can be found here.


The script and other literature used in this course can be found here.


There will be a midterm, a final, and a re-exam. All participants must take part in the midterm exam and in at least one of the final and re-exams. 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.

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).

Please bring your student identity card to the exam. (For further information on the exams and the grading system, see below.)

Dates of the Exams:

  • Midterm: December 14th, 2016: 14-16, room 002, building E1 3
  • Final: February 21st, 2017: 14-16, room HSII, building E2 5
  • Supplementary: March 29th, 2017: 14-16, room 002, building E1 3


Exam inspection:

  • February 28, 2017: 14-16, room 630, building E1 5
  • April 4, 2017: 14-16, room 630, building E1 5


Exam Sheets:


The total grade for the course is the weighted average of the grades of all the exams in which one participates:

If one takes part only in the final exam:


Midterm:             25%

Final Exam:       75%


If one takes part only in the re-exam:


Midterm:             25%

Re-Exam:           75%


If one takes part in both the final exam and the re-exam, the better grade from either final or supplementary will be selected.


Midterm:             25%

Final Exam:       75%       OR       Re-Exam:          75%


For passing, the weighted average must be better than 4.1. As an exception to the rules above, the following combinations of results are sufficient for passing (with a grade of at least 4.0), even if the weighted average is worse than 4.1:

  • 4.0 or better in the midterm exam, and
    4.0 or better in at least one of the final and re-exams
  • 5.0 in the midterm exam, and
    3.7 or better in at least one of the final and re-exams