Lecture "Automated Reasoning" (WS 2023/2024)

Lecture:
Wednesdays 10:15–11:45 and Fridays 12:00–13:30, E1.3, Lecture hall 001.

Tutorial:
Wednesdays 14:15–15:45, E1.3, Lecture hall 001.
(This is the only tutorial; there will not be alternative tutorial dates.)

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

Next semester: Automated Reasoning II.

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

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2024-01-29.
Imprint | Data Protection