Lecture "Automated Reasoning" (WS 2019/2020)

Time and Venue:
Lecture: Mondays 16:15-17:45 and Wednesdays 14:15-15:45, Bldg E1.3, Lecture hall 1.

We need the names and e-mail addresses of all participants of the course for planning the midterm and for sending you your exam results. Please register at the MPI course registration page.
Note that this is not the official HISPOS registration. Note also that there is no need to unregister if you later decide to skip the course.

There is no lecture on Wednesday, November 6.

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

Tutorials:
Tutorials start on November 4. There are two tutorial groups:

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

Prerequisites

Slides and suggested readings

Exercise sheets

Examinations and grading


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2019-10-30.
Imprint | Data Protection