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.
Uwe Waldmann <email@example.com>
Willem Hagemann (Tue)
Ching Hoo Tang (Thu)
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]