Saarland University
Informatics
Programming Systems
Teaching
ICL 2006


Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
Mailing list

Introduction to Computational Logic: Exams and Grade

1. There will be two regular exams and a re-exam:
   • Mid-term: 2006-06-10, 09:00–11:30, Building E1.3, HS001-003
   • End-term: 2006-07-24, 09:00–11:30, Building E1.3, HS001-003
   • Re-exam: 2006-10-06, 09:00–11:30, Building E1.3, HS002
2. In order to get credit points for the course, you will have to pass two of the three exams.
3. In order to take part in an exam, you have to register for it. Registration starts 14 days and ends 7 days before the day of the exam. Registration can be done via the registration page.
4. To take part in the mid-term exam, you must have achieved at least 50% of the points in the tests preceeding it (This year you needed 30 points).
5. To take part in the end-term exam, you must have achieved at least 50% of the points in the tests following the mid-term exam (This year:17 points). In addition, you must have achieved at least one third of the points of the mid-term exam.
6. To take part in the re-exam, you must have achieved at least one third of the points in each of the two regular exams and passed exactly one of them.
7. In each exam, you can achieve a maximum of 150 points. You pass if you achieve at least 75 points.
8. In each test, you can achieve a maximum of 15 points. We plan to write 12 tests, 7 before and 5 after the mid-term exam. Your best 5 tests before the mid-term and you best 3 tests after the mid-term (hence overall 8 tests) will count for your grade. Thus, at most 120 points from the tests will count for your grade.
9. Your final grade will be determined from the sum of the points from the two exams you passed and the points from the tests.
10. Please acquaint yourself with our exam rules.