Exercises and Tutorials

Automated Reasoning


Exercises

Exercise sheets do not have to be submitted. All registered students can take the midterm exam.

TypeDateDownloads
Exercise SheetOctober 27, 2022[PDF]
Exercise SheetNovember 03, 2022[PDF]
Exercise SheetNovember 10, 2022[PDF]
Exercise SheetNovember 17, 2022[PDF]
Exercise SheetNovember 24, 2022[PDF]
Exercise SheetDecember 01, 2022[PDF]  [Solution]
Exercise SheetDecember 08, 2022[PDF]
Exercise SheetDecember 15, 2022[PDF]
Exercise SheetDecember 22, 2022[PDF]
Exercise SheetJanuary 05, 2023[PDF]  [Solution]
Exercise SheetJanuary 12, 2023[PDF]
Exercise SheetJanuary 19, 2023[PDF]
Exercise SheetJanuary 26, 2023[PDF]  [Solution]
Exercise SheetFebruary 02, 2023[PDF]

Tutorials

The tutorials start in week 2 (November 4, 2022).

Tutorials will take place on Fridays, 10 - 12 (c.t.) in room 024, building E1 4.