Decision Procedures (2+2), 6LP - Summer 2019

Lecturer

First Meeting (Date Changed!):

When: Thursday, March 28, 1:30 p.m.

Where: Building E1 5, Room 630

If you are not able to attend the meeting, please contact Jennifer Müller.

The Lecture/Tutorial times will be discussed with all participants in the first meeting.

Lecture: Tuesday, 18 - 20 s.t.

Tutorial: TBD

Room 622, Building E1 5

First Meeting: Thursday, March 28, 1:30 p.m., room 630 (E1 5)

Automated Reasoning I

Register here for this course.
Don't forget to register with HISPOS since we are unable to do this automatically.

If you have any questions, please contact Jennifer Müller.

- Preliminaries: Some Sections from Automated Reasoning I: arI.pdf

09.04.2019: Slides

16.04.2019: Slides

23.04.2019: Slides

30.04.2019: Slides

07.05.2019: Slides Script

14.05.2019: Slides

21.05.2019: Slides

28.05.2019: Slides

04.06.2019: Slides

18.06.2019: Slides

25.06.2019: Slides

02.07.2019: Slides

09.07.2019: Slides

16.07.2019: Slides

16.04.2019: exercise1

07.05.2019: exercise4

14.05.2019: exercise5

18.06.2019: exercise6

25.06.2019: exercise7

02.07.2019: exercise8

Oral Exams: August 13