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 <firstname.lastname@example.org>
Starting January 3, all lectures and tutorials will be given via Zoom.
There are no more classroom lectures.
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