Uge 10

Forelæsninger

Mandag den 5/3-2007, kl 14-16

• Transitionssystemer [HS] Kap. 2: eksempler på korrekthedsbeviser.

Fredag den 9/3-2007, kl. 12-14

• Union-Find [CLRS] Kap. 21.1-21.3

Øvelser

[CLRS] Exercises 13.1-5, 13.1-6, 13.2-2, 13.3-2 Problems 13-2
Opgave 5, Opgave 8, Opgave 9, Opgave 10,

Obligatorisk afleveringsopgave

[CLRS] Exercises 13.2-4