Exercises for Week 03

Exercise 00

1. The index of concepts for this week is in a separate chapter. Peruse it and make sure that its entries make sense to you (otherwise, click on them to check them out).
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.

Mandatory exercises

• Exercise 00: reflecting on the material of this week
• Exercise 04: reflecting on the tail-recursive specification of addition
• Exercise 06: as specified, is addition associative?
• Exercise 09: are the specifications of mirror, number_of_leaves, and number_of_nodes ambiguous?

Optional exercises

• Exercise 05: are the two specifications of addition equivalent?
• Exercise 10: proving that mirror reverses itself

Version

Added the exercises [03 Feb 2024]

Created [01 Feb 2024]