Lidt mere om stærk induktion rekursive definitioner.
Slides
Opgaveregning 8.40-10.40
Opgaver i afsnit 4.2: 3, 11, 14, 25, 29
Opgaver i afsnit 4.3: 5, 7, 12, 18, 19
Forelæsning, 10.40 - 12.00:
Afsnit 4.3, resten af afsnittet: Rekursiv definition af mængder og strukturer, og Strukturel induktion
Afsnit 4.4 undtagen Eksemplerne 3, 4 og 8: Rekursive algoritmer og Merge sort.