# Lecturers

# Start

October 16, 2018, Lecture Hall HS003, Building E1 3

# When & Where

The course takes place every Tuesday, 16:00 - 17:30 (16 s.t) and Thursday, 14:15 - 15:45 (14 c.t) in lecture hall HS003, 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 is 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: Thursday, December 13, 14 - 16, Building E1 3, Lecture hall 2
- Final: Thursday, February 14, 14 - 16, Building E1 3, Lecture hall 2
- Supplementary: Thursday, March 7, 14 - 16, Building E1 3, Lecture hall 2

**Exam inspection:**

- Midterm: Tuesday, January 22, 17:30 h (after the lecture), Building E1 5, Room 630

**Exam Sheets:**

- Midterm
- Final

# 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

# Previous Automated Reasoning Courses

Further information: see