Mere om bevis ved (stærk) induktion, rekursive algoritmer og Mergesort.
Slides
Opgaveregning 12.55-14.55
Opgaver i afsnit 4.2: 3, 14, 25, 29
Opgaver i afsnit 4.4: 1, 23,
44
Opgaver i "Supplementary Exercises" side 329-333: 35
Forelæsning i Auditorium 3, 14.55 - 15.35:
Afsnit 4.5, kun afsnittet Loop Invariants:
Hvordan beviser man at en algoritme virker.
Afsnit 9.1:
Introduktion til grafer.
Afsnit 9.2:
Mere grafterminologi.
Afsnit 9.3:
Repræsentation af grafer.