Saarland University Computer Science

Introduction to Computational Logic Gert Smolka

Exams and Grade


  1. The endterm exam will take place as oral exam with individual time slots from August 3 to August 5. We will use the Zoom video conferencing system.
  2. There will also be a final exam with individual time slots on September 28 and 29. This will be a (possibly still remote) oral exam.
  3. To take part in the exams, you need to show activity in the group phases and score 50% of the testing points in total.
  4. In order to get credit points for the course, you need to pass either the endterm or the final exam.
  5. Your grade will be determined as follows:
    1. Grad of the endterm if you don't take the final or if the grade from the final would be worse.
    2. Grade of final otherwise.
  6. 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.
  7. Get familiar with our exam rules for sitting exams.