Uge 10

Forelæsninger

Mandag den 6/3-2006, kl 14-16

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

Fredag den 10/3-2006, kl. 12-14

• Hashing [CLRS] Kap. 11.1-11.4

Ø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