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 | 17.10.2024 | Sheet1 |
| Exercise Sheet | 24.10.2024 | Sheet2 |
| Exercise Sheet | 31.10.2024 | Sheet3 |
| Exercise Sheet | 07.11.2024 | Sheet4 |
| Exercise Sheet | 14.11.2024 | Sheet5 |
| Exercise Sheet | 21.11.2024 | Sheet6 |
| Exercise Sheet | 28.11.2024 | Sheet7 |
| Exercise Sheet | 12.12.2024 | Sheet8 |
| Exercise Sheet | 19.12.2024 | Sheet9 |
| Exercise Sheet | 09.01.2025 | Sheet10 |
| Exercise Sheet | 16.01.2025 | Sheet11 |
| Exercise Sheet | 23.01.2025 | Sheet12 |
| Exercise Sheet | 30.01.2025 | FinalTest |
| Exercise Sheet |
Tutorials
There will be Q&A tutorials every Wednesday at 16:00 s.t. before the lecture.
Solutions will be sent by email every Tuesday.