Exercises for Week 12

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

None.

Version

Created [10 Apr 2025]

Table Of Contents

Previous topic

Reasoning about lazy lists using coinduction

Next topic

Index of concepts for Week 12