# Lecture "Automated Reasoning (4+2) 9LP" (SS 2006), course number: CS571

April 19th, 2pm, Lecture Hall HS003, Building E1.3.

The course takes place every Monday and Wednesday in lecture hall HS003,
Building E1.3.
There is no lecture due to public holidays on April 17th (Easter Monday), May 1st (May Day) and June 5th (Pentecost).

Basic knowledge in theoretical computer science,
in particular in logics.

The list of tutorial groups and the exercise sheets can be found
here.

The script and other literature used in this course can be found here.

Registration is closed. You can no longer register for this course.

## 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. (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: Fri., June 9, 2006, 14:00-16:00, HS 001 and 002
- Final: Tue., July 25, 2006, 9:00-11:00, HS 001 and 002
- Supplementary: Fri., September 22, 2006, 9:00-11:00, Math building, HS 1

Exam sheets:

**Certificates (Scheine) can be picked up in Roxane Wetzel's
office (MPI, Bldg. E1.4, Room 157).**

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:

Intermediate exam: | 25% |

Final exam: | 25% |

Supplementary exam: | 50% |

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

## Previous Automated Reasoning Courses

Further information: see Automated Reasoning 2004.