Saarland University Computer Science
Programming Systems
Teaching

Login

Introduction to Computational Logic Prof. Gert Smolka, Tobias Tebbi

Exams and Grade

  1. There will be three exams:
    • Midterm: June 2, 12:00, E1 3 HS002
    • Endterm: Juli 30, 12:00, E1 3 HS002
    • Final: September 8, oral examination
  2. In order to get credit points for the course, you have two possibilities:
    1. You score both in the Midterm and in the Endterm at least 50% of the points.
    2. You score in the Final at least 50% of the points.
  3. To take part in the Midterm, you must score at least 30% in the tests preceding the Midterm.
  4. To take part in the Endterm, you must score at least 30% in the Midterm and at least 30% on the tests after the Midterm and preceding the Endterm.
  5. To take part in the Final, you must score at least 30% in the Midterm and at least 30% in the Endterm.
  6. You get credit points for the course if you pass the Final or both the Midterm and the Endterm. You pass an exam if you score at least 50% of the points.
  7. Your grade will be determined as follows:
    1. From the Midterm and the Endterm if you don't take the Final or the grade from the Final would be worse.
    2. From the Final otherwise.
  8. In case of illness, you can be exempted from the exams. For this to happen, you must not participate in the exam and present us with a medical certificate within one week after the exam.
  9. Our exam rules.