Automated Reasoning II (2+2), 6LP - Summer 2017

Start

When: Tuesday, April 4, 2017 - 14:00 s.t.

Where: Building E1 5, Room 630

When & Where

Lecture: Tuesdays, 14:15 - 15:45

Tutorial: Tuesdays, 16:00 - 17:00

Room 630 (Building E1 5)

 

First Lecture: April 18, 2017 - 14:15h

 

On June 20, 2017 the lecture will take place in HS001 (Building E1 3)

Prerequisites

Automated Reasoning I

Registration

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.

Literature

25.04.2017: Slides

02.05.2017: Slides

09.05.2017: Slides

16.05.2017: Slides Script Errata

23.05.2017: Slides Example

30.05.2017: Slides

06.06.2017: Slides

13.06.2017: Slides

20.06.2017: Slides

27.06.2017: Slides

04.07.2017: Slides Script

11.07.2017: Script

18.07.2017: Slides

25.07.2017: Script

Exercises

Sheet 1 (April 25) Sheet

Sheet 2 (May 2) Sheet

Sheet 3 (May 9) Sheet

Sheet 4 (May 16) Sheet

Sheet 5 (May 23) Sheet

Sheet 6 (May 30) Sheet

Sheet 7 (June 6) Sheet

Sheet 8 (June 13) Sheet

Sheet 9 (June 20) Sheet

Sheet 10 (June 27) Sheet

Sheet 11 (July 04) Sheet

Sheet 12 (July 11) Sheet

Sheet 13 (July 18) Sheet

Examinations

Oral Examinations will take place on August 17, 2017.