Diskret Matematik, 11. kursusgang, onsdag den 26. marts
Forelæsning, 8.15-8.45:
Mere om stærk induktion og rekursive definitioner.
Slides
Tavle
Opgaveregning 8.45-10.45:
Opgaver i afsnit 5.2:
- Bevis ve stærk induktion
3, 7, (10)
Opgaver i afsnit 5.3:
- Rekursiv definition af følger
3, 4 - Bevis ved induktion
12 - Rekursivt definerede mængder
21, 29, (19)
- "Reversal" af streng
24, 25
Opgaver i afsnit 5.2:
- Forståelse af induktionsbeviser
19, 21
Forelæsning, 10.45-12.00:
Afsnit 5.3 (side 347-351): Strukturel induktion
Afsnit 5.4: Rekursive algoritmer
Slides
Tavle