Lidt mere om induktionsbeviser
Slides
Opgaveregning 8.40-10.40
Opgaver i afsnit 4.1: 3, 7, 9, 47, 64, 79 (i opgave 79 skal ordet "positive" slettes)
Opgaver i afsnit 3.1: 60, 61
Opgaver i afsnit 4.2: 41
Forelæsning, 10.40 - 12.00:
Afsnit 4.2, kun til side 288, linie 6: Bevis ved stærk induktion.
Afsnit 4.3, undtagen Theorem 1: Rekusive definitioner og strukturel induktion.