Program for selvstudie-kursusgang: Læs dagens afsnit i bogen. Diskuter teksten i gruppen. Lav opgaverne. Hjælpelærerne kan hjælpe.
Dagens tekst:
Dagens opgaver:
Opgave:
- Argumenter for at invarianten i Algoritme Kreds er sand før og efter hvert gennemløb af while-løkken.
(vink: undersøg tre tilfælde: 1. u=v, 2. w=v, 3. u,v,w er forskellige.)
- Konkluder at når while-løkken standser så er K en kreds.
Opgaver i afsnit 9.5:
1-3, 9, 13, 30-36, 37-43, 46.