Lecture "Automated Reasoning" (WS 2021/2022)

Lecture:
Mondays 16:15–17:45 and Wednesdays 16:15–17:45, online.

Tutorials:
Mondays 8:00–10:00 (online);
Mondays 12:00–14:00 (online);
Wednesdays 14:00–16:00 (online).

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

Informations for online students

Examinations and grading

---

Previous | Up | Next

---

Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2022-02-07.
Imprint | Data Protection