# Automated Reasoning

## Lecturers

## Start

October 25, 2016, Lecture Hall HS001, Building E1 3

## When & Where

The course takes place every Tuesday, 14 - 16 (c.t.) and Thursday, 14 - 16 (c.t.) in lecture hall HS001, Building E1 3.

## Registration

Register here for this course.

Don't forget to register with HISPOS since we are unable to do this automatically.

If you have any questions, please contact Jennifer Müller.

## 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 a midterm, a final, and a re-exam. All participants must take part in the midterm exam and in at least one of the final and re-exams. The midterm does not count as an examination but as an examination prerequisite. It is open for every participant of the course. Participation in the midterm and a minimum of 50% of the tutorial points are required to participate in the *endterm* or *re-examination*.

The *endterm* and the *re-exam* are now two *seperate and independent* examination attempts. Students can take the first one, the second one, or both, but if they take both, these count as two examination attempts (out of a total of three examination attempts permitted for the module).

**Please bring your student identity card to the exam.** (For further information on the exams and the grading system, see below.)

Dates of the Exams:

- Midterm: December 14th, 2016: 14-16, room 002, building E1 3
- Final: February 21st, 2017: 14-16, room HSII, building E2 5
- Supplementary: March 29th, 2017: 14-16, room 002, building E1 3

Exam inspection:

- February 28, 2017: 14-16, room 630, building E1 5
- April 4, 2017: 14-16, room 630, building E1 5

Exam Sheets:

## 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:

Midterm: 25%

Final Exam: 75%

If one takes part only in the re-exam:

Midterm: 25%

Re-Exam: 75%

If one takes part in both the final exam and the re-exam, the better grade from either final or supplementary will be selected.

Midterm: 25%

Final Exam: 75% OR Re-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 midterm exam, and

4.0 or better in at least one of the final and re-exams - 5.0 in the midterm exam, and

3.7 or better in at least one of the final and re-exams