Lecture "Automated Reasoning" (WS 2025/2026)

Lecture:
Wednesdays 16:15–17:45 and Thursdays 16:15–17:45, E1.4, Lecture hall 024.

Tutorial:
Tuesdays 10:15–11:45, E1.4, Lecture hall 024.

Next semester: Automated Reasoning II.

Lecturers:
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Christoph Weidenbach

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

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

Prerequisites

Slides and suggested readings

Exercise sheets

Examinations and grading

Lecture evaluation / Tutorial evaluation

---

Previous | Up | Next

---

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