Uge 9
Forelæsninger
Mandag den 28/2-2005, kl 14-16
- Transitionssystemer [HS] Kapitel 1.1-1.5.1, 1.5.3
Fredag den 4/3-2005, kl. 12-14
- Transitionssystemer [HS] Kapitel 1.5.6, 2.1-2.3, 2.4.2
Øvelser
[GT] R-3.10, R-3.12, R-3.14, R-4.9, C-3.1, C-3.14, C-4.7, C-4.9, C-4.14, C-4.22
Obligatorisk afleveringsopgave
Opgave 11
Denne side vedligeholdes af Gerth Stølting Brodal
<gerth@cs.au.dk>.