Exercises for Week 10

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

None, due to the oral exams.

Version

Created [24 Apr 2024]

Table Of Contents

Previous topic

The abstraction and instantiation of Eureka lemmas about resetting the accumulator

Next topic

Index of concepts for Week 10