Uge 10

Forelæsninger

Mandag den 7/3-2005, kl 14-16

• Transitionssystemer [HS] 2.1-2.3; Korrektsbevis for majoritets algoritmen.

Fredag den 11/3-2005, kl. 12-14

• Amortiseret analyse [GT] Kap. 1.5; Eksamen.

Øvelser

Opgave 8, Opgave 9, Opgave 10, Opgave 12, Opgave 13, Opgave 14, Opgave 15