Lidt mere om beviser (afsnit 1.6), algoritmer (afsnit 3.1) og lidt store-O notation (afsnit 3.2).
Slides
Opgaveregning 8.40 - 10.40:
Opgave i afsnit 1.6: 9
Opgaver i afsnit 3.1: 5, 35, 57.
Opgaver i afsnit 3.2: 3, 5, 9, 62.
Forelæsning i Auditorium 4, 10.40 - 12.00:
Afsnit 3.1,
"The Halting Problem": Standseproblemet.
Afsnit 3.2: Resten af dette afsnit om store O.
Afsnit 3.3: Algoritmers kompleksitet. Hvor lang tid tager det for en algoritme at løse problemet.