Lecture "Automated Reasoning" (WS 2015/2016)

Time and Venue:
Lecture: Mondays 16:15-17:45 and Thursdays 12:15-13:45, Bldg E1.3, Lecture hall 3.

Next semester: Automated Reasoning II.

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

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

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

Slides and suggested readings

Exercise sheets

Examinations and grading

Lecture evaluation


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2016-02-12.