Exercises for Week 03

Exercise 00

1. The index of concepts for this week is in a separate chapter. Go through them and make sure that they make sense to you.
2. The lecture notes start with updates (Chapter Updates). Make sure to check them out regularly, as they reflect the development of the lecture.
3. Do take the time to peruse the lecture notes of this week and to reproduce their technical content in a personal session with Chez Scheme.
4. Spend a moment going through the emacs tutorial (C-h t).
5. Remap your CAPSLOCK key into a control key and live better.

Mandatory exercises

• Exercise 00: reflecting on the material of this week, identifying the point of each of the interludes and postludes and briefly documenting it, and going through (the beginning of) the emacs tutorial
• Exercise 01: restating some and-expressions as if-expressions
• Exercise 03: observational difference between two procedures
• Exercise 04: designing variadic procedures
• Exercise 07: relating string-length and string-append
• Exercise 08: computing the square of a sum

Optional exercises

• Exercise 05: composing the negation function
• Exercise 06: analyzing four dyadic procedures
• Exercise 09: fixed points
• Exercise 10: involutions (if you want to overachieve)
• Exercise 11: idempotence (if you want to overachieve)
• Exercise 12: involutory and idempotent

Version

Completed [30 Aug 2025]

Created [29 Aug 2025]