Introduction to Computational Logic
Gert Smolka
Exams and Grade
- 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.
- 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.
- To take part in the exams, you need to show activity in the group phases and score 50% of the testing points in total.
- In order to get credit points for the course, you need to pass either the endterm or the final exam.
- Your grade will be determined as follows:
- Grad of the endterm if you don't take the final or if the grade from the final would be worse.
- Grade of final otherwise.
- 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.
- Get familiar with our exam rules for sitting exams.
