Lecture "Automated Reasoning" (WS 2021/2022)
Mondays 16:15–17:45 and Wednesdays 16:15–17:45,
Mondays 8:00–10:00 (online);
Mondays 12:00–14:00 (online);
Wednesdays 14:00–16:00 (online).
Uwe Waldmann <email@example.com>
Next semester: Automated Reasoning II.
Syntax, semantics, deduction calculi, and their implementation:
- propositional logic, CDCL;
- first-order logic, resolution, tableaux;
- equality, rewriting, completion, termination.
Slides and suggested readings
Informations for online students
Examinations and grading