Exercises and Tutorials
Automated Reasoning
Exercises
Exercise sheets do not have to be submitted. All registered students can take the midterm exam.
| Type | Date | Downloads |
|---|---|---|
| Exercise Sheet | October 27, 2022 | [PDF] |
| Exercise Sheet | November 03, 2022 | [PDF] |
| Exercise Sheet | November 10, 2022 | [PDF] |
| Exercise Sheet | November 17, 2022 | [PDF] |
| Exercise Sheet | November 24, 2022 | [PDF] |
| Exercise Sheet | December 01, 2022 | [PDF] [Solution] |
| Exercise Sheet | December 08, 2022 | [PDF] |
| Exercise Sheet | December 15, 2022 | [PDF] |
| Exercise Sheet | December 22, 2022 | [PDF] |
| Exercise Sheet | January 05, 2023 | [PDF] [Solution] |
| Exercise Sheet | January 12, 2023 | [PDF] |
| Exercise Sheet | January 19, 2023 | [PDF] |
| Exercise Sheet | January 26, 2023 | [PDF] [Solution] |
| Exercise Sheet | February 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.