Lecture "Automated Reasoning" (WS 2013/2014)
Time and Venue:
Lecture: Mondays 12:15-13:45 and Wednesdays 16:15-17:45,
Bldg E1.3, Room 001.
Next semester: Automated Reasoning II, Wednesday 12:00-14:00, Bldg E1.4, Room 024.
Uwe Waldmann <email@example.com>
Tuesdays 12:15-13:45, Bldg E1.4, Room 022, Marco Voigt,
Wednesdays 12:15-13:45, Bldg E1.4, Room 021, Björn Borowsky.
Syntax, semantics, deduction calculi, and their implementation:
- propositional logic, DPLL;
- first-order logic, resolution, tableaux;
- equality, rewriting, completion, termination.
Slides and suggested readings
Examinations and grading