Automated Reasoning
Lecturers
Start
October 21, 2014, Lecture Hall HS002, Building E1 3
When & Where
The course takes place every Tuesday, 10:00 - 11:30 (s.t.) and Thursday, 14:00 - 15:30 (s.t.) in lecture hall HS002, Building E1 3.
Prerequisites
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.
Literature
The script and other literature used in this course can be found here.
Examinations
There will be an intermediate, a final, and a supplementary exam. All participants must take part in the intermediate exam and in at least one of the final and supplementary exams. Please bring your student identity card to the exam. (For further information on the exams and the grading system, see below.) 50% of the points of the exercises are required for participating in the exams.
Dates of the Exams:
- Midterm: Thu, December 11, 2014, 14.00 - 16.00, Building E1 3, Lecture Hall 2
- Final: Wed, February 25, 2015, 10.00 - 12.00, Building E1 3, Lecture Hall 2
- Supplementary: Tue, April 7, 2015, 10.00 - 12.00, Building E1 3, Lecture Hall 2
Grading
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:
| Intermediate Exam: | 25 % |
| Final Exam: | 75% |
If one takes part only in the supplementary exam:
| Intermediate Exam: | 25 % |
| Supplementary Exam: | 75% |
If one takes part in both the final and the supplementary exam, the better grade from either final or supplementary will be selected.
| Intermediate Exam: | 25 % |
| Final Exam: | 75% OR Supplementary 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 intermediate exam, and
4.0 or better in at least one of the final and supplementary exams - 5.0 in the intermediate exam, and
3.7 or better in at least one of the final and supplementary exams