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>

Starting January 3, all lectures and tutorials will be given via Zoom. There are no more classroom lectures.

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

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-01-02.
Imprint | Data Protection