Lecture "Automated Reasoning" (SS 2011)

Time and Venue:
Lecture: Tuesdays 16:00-18:00 and Thursdays 16:00-18:00, Bldg E1.4, Room 024.
Tutorials: Tuesdays 8:00-10:00 or Thursdays 14:00-16:00, Bldg E1.4, Room 023.

Next semester: Automated Reasoning II, Wednesday 14:00-16:00, Bldg E1.3, Room 003.

Lecturer:
Uwe Waldmann <uwe@mpi-inf.mpg.de>

Tutors:
Willem Hagemann (Tue)
Ching Hoo Tang (Thu)

Topics:
Syntax, semantics, deduction calculi, and their implementation:

• propositional logic, DPLL;
• first-order logic, resolution, tableaux;
• equality, rewriting, completion, termination.

Exercise sheets [Willem Hagemann]

Slides and suggested readings

Examinations and grading

Summary of the lecture evaluation [PDF]

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2011-10-17.
Imprint | Data Protection