Lidt mere om induktionsbeviser og repræsentation af tal, specielt 2-komplement.
Slides
Opgaveregning 12.55 - 14.55:
Opgave i afsnit 4.1: 3, 7, 9, 47
Opgave i afsnit 3.6: 1, 3, 38, 39, 41
Opgave i afsnit 4.1: 61, 64, 79 (i opgave 79 vil jeg foreslå at I sletter ordet "positive").
Forelæsning i Auditorium 2, 14.55 - 16.15:
Afsnit 4.2: Bevis ved stærk induktion og vel-ordning.
Ikke afsnittet
Using Strong Induction in Computational Geometry
Afsnit 4.3 (til midt på side 299): Rekursivt definerede funktioner.