Mere om stærk induktion og rekursivt definerede funktioner.
Slides
Opgaveregning 12.55-14.55:
Opgave i afsnit 4.2: 3, 11, 14, 25, 29
Opgave i afsnit 4.3: 5, 7, 12, 18
Opgaver i "Supplementary Exercises" side 329-333: 35
Forelæsning i Auditorium 2, 14.55 - 16.15:
Afsnit 4.3:
Rekursivt definerede mængder og strukturel induktion.
Afsnit 4.4:
Rekursive algoritmer. Måske må vi udsætte Mergesort til fredag.