# 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