Lidt mere om rekursive definitioner, strukturel induktion og rekursive algoritmer.
Slides
Opgaveregning 8.40-10.40
Opgaver i afsnit 4.3: 27, 34, 35, 36, 43
Opgaver i afsnit 4.4: 44, 23, 24, 25
Supplementary Exercises (side 331): 35
Forelæsning, 10.40 - 12.00:
Afsnit 4.5, kun afsnittet Loop Invariants side 326-327
Afsnit 9.3 kun til midt på side 614: naboliste og nabomatrix.
Afsnit 9.4, kun til midt på side 627: veje i grafer.
Afsnit 9.6: korteste veje i grafer.