Exercises for Week 07
Exercise 00
- The index of concepts for this week is in a separate chapter. Go through them and make sure that they
make sense to you.
- The lecture notes start with updates (Chapter Updates).
Make sure to check them out regularly,
as they reflect the development of the lecture.
- 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 (to be carried out after the midterm project)
- Formalize and prove that the product of two consecutive natural numbers
is even. How does your formal proof compare to your informal proof?
- Exercise 33:
pondering about the arc from Exercise 21
to Exercise 32
and beyond
Optional exercises
All of them.
Anton: All of them?
Alfrothul: Of course.
Anton: Harrumph.
Version
Created
[07 Mar 2025]