Exercises for Week 10

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 tCPA.

Mandatory exercises

• Exercise 00: reflecting on the material of this week
• Exercise 02: formalizing summations
• Exercise 03: implementing a tail-recursive summation function that uses an accumulator
• Exercise 04: formalizing 2-by-2 matrices

Exercise from Week 06

Figure out a small handful of mystery functions in the accompanying file.

Make sure that you do treat

• a non-vacuous and non-ambiguous function,
• a vacuous specification, and
• an ambiguous specification.

Reminder from Chapter Specifications in Week 03:

Some specifications are vacuous (no functions exist that satisfy them), some specifications are ambiguous (several distinct functions exist that satisfy them), and some specifications are neither (exactly one function exists that satisfy them).

Version

Created [28 Mar 2025]