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.

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

Tutorials:
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.

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

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

Slides and suggested readings

Exercise sheets

Examinations and grading

Lecture evaluation

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2014-03-11.
Imprint | Data Protection