Exercises for Week 06

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

• Formalize and prove that the product of two consecutive natural numbers is even. How does your formal proof compare to your informal proof?
• Exercise 29: pondering about the arc from Exercise 17 to Exercise 28 and beyond

Optional exercises

None.

Alfrothul: Figures.

Anton: Figures what?

Alfrothul (with a straight face): None is an option.

Version

Created [22 Feb 2024]