| Course | Tutorials | Exams | Lecture Notes | Problem Sets |
Verification Problem Sets
Every Thursday, we will release a new problem set. You have one week to work on the problems in groups of up to three students. You can either submit your group’s solution in our verification post box (E 1.3, ground floor) before the Thursday lecture or give it to us at the start of the Thursday lecture.
We will give you personal feedback on your solution in a fixed weekly discussion slot of 15 minutes per group. Discussion slots are available Thursdays after the lecture or Fridays. Attendance of all group members is mandatory, but you can miss two discussion meetings without losing your right to take part in the exam. If you have to miss your meeting due to illness or other justified causes, please notify the instructors prior to the meeting. We will then make individual arrangements.
This system will allow us to get better feedback of your individual progress throughout the semester. We can then support you individually and tailor the tutorial sessions to your needs.
Your submitted solutions will not be graded. Solutions to the problems will only be presented in the tutorial sessions.
Problem Sets
The first problem set will be released on Thursday, October 20th.
Problem Set 1
Problem Set 2
Problem Set 3
Problem Set 4
Problem Set 5
Problem Set 6
Problem Set 7
Problem Set 8
Problem Set 9
Problem Set 10
Problem Set 11, πVC tool, πVC tutorial, Abs.pi, InsertionSort.pi
Problem Set 12
Problem Set 13