Exercises
We do exercises in groups every week, through Zoom on Wednesdays 13-16. These group meetings are NOT OBLIGATORY, but HIGHLY RECOMMENDED. The exercises are not handed in.
- Exercises Week 1: Sets and Functions (answers)
- Exercises Week 2: Logic and Proofs (answers)
- Exercises Week 3: Induction (answers)
- Exercises Week 4: Arithmetic (answers)
- Exercises Week 5 - all of the above
- Exercises Week 6: Structural Induction (answers)
- Exercises Week 7: Graphs (answers)
- Exercises Week 8: Combinatorics (answers)
The solutions to the exercises are published every week after the group meetings.
Organization
The idea is that you should prepare the exercises at home, by yourself or with a small group. In groups of size ~7-8, we then discuss the exercises that you found most challenging. The group together will pick the exercises to work on, so please come prepared so you know what things you want help with!
The last week of the course has a significantly changed schedule! (No exercises after 15, and no exercises in Zoom Room C.)
New times:
Session 1: 13:15 -- 14:00, in Zoom Room A and B
Session 2: 14:15 -- 15:00, in Zoom Room A and B
Note that the times have changed slightly.
Please switch your camera and microphone on in the meetings.
Example Exams
For your convenience, here are some example exams.