Behandeld tijdens colleges Theorie van Concurrency, najaar 2011
===============================================================

dinsdag 6 september 2011, hoorcollege 1
* paragraaf 1, 2 en 3 dictaat
* paragraaf 4 dictaat tot halverwege Definitie 8 op blz. 18

donderdag 8 september 2011, hoorcollege 2
* paragraaf 4 dictaat tot halverwege subparagraaf 4.4
* opgave 4.7

dinsdag 13 september 2011, hoorcollege 3
* paragraaf 4 dictaat afgemaakt

donderdag 15 september 2011, werkcollege 1
* opgaven 4.1, 4.2, 4.4, 4.5 en 4.6

dinsdag 20 september 2011, hoorcollege 4
* paragraaf 5 dictaat tot en met Voorbeeld 16 op blz. 43.
* opgave 5.2

donderdag 22 september 2011, werkcollege 2
* opgaven 4.8, 4.10 en 4.14

dinsdag 27 september 2011, hoorcollege 5
* paragraaf 5.2 dictaat afgemaakt en paragraaf 5.3
* opgave 5.5

donderdag 29 september 2011, hoorcollege 6
* paragraaf 5.4 dictaat tot en met Voorbeeld 18 op blz. 48/49.
* opgave 5.6

dinsdag 4 oktober 2011, hoorcollege 7
* paragraaf 5.4 dictaat tot en met Lemma 56 op blz. 57

donderdag 6 oktober 2011, hoorcollege 8
* paragraaf 5.4 dictaat afgemaakt, paragraaf 5.5
* paragraaf 6 dictaat tot en met paragraaf 6.1

dinsdag 11 oktober 2011, werkcollege 3
* opgaven 5.1, 5.3, 5.7, 5.8abce, 6.1 en 6.2(i)

donderdag 13 oktober 2011, hoorcollege 9
* paragraaf 6.2 dictaat tot en met Stelling 81 op blz. 67/68.

dinsdag 18 oktober 2011, hoorcollege 10
* paragraaf 6.2 dictaat afgemaakt, paragraaf 6.3 tot en met Stelling 91
* definities 96, 99, 100 en 103 en voorbeeld 30(1) uit paragraaf 6.4

donderdag 20 oktober 2011, werkcollege 4
* opgaven 6.2 t/m 6.7 en 6.9

dinsdag 25 oktober 2011, hoorcollege 11
* paragraaf 6.3 dictaat afgemaakt, paragraaf 6.4
  (minus Lemma 108, Lemma 109 en grootste deel van bewijs Stelling 107)

donderdag 27 oktober 2011, hoorcollege 12
* hoofdstuk 7 dictaat tot en met voorbeeld 34 op pagina 92
  (alleen Lemma 118 nog even overgeslagen, volgt later)
* opgave (te gebruiken bij opgave 7.1):
  toon aan dat voor elke acyclische graaf G,
    top(G) = top (tra(G))

donderdag 3 november 2011, hoorcollege 13
* hoofdstuk 7 dictaat afgemaakt

donderdag 10 november 2011, werkcollege 5
* opgaven 6.10, 6.11, 7.2, 7.3, 7.5, 7.6 en 7.7

donderdag 17 november 2011, tussentijdse toets
* modelleeropgaven
* hoofdstuk 1-7 dictaat

donderdag 24 november 2011, hoorcollege 14
* paragraaf 9.1-9.3 dictaat
* paragraaf 9.5 dictaat tot en met voorbeeld 52

donderdag 1 december 2011, hoorcollege 15
* paragraaf 9.5 dictaat afgemaakt
* paragraaf 9.6 en 9.7 dictaat

donderdag 8 december 2011, werkcollege 6
* opgaven 9.1-9.4, 9.6, 9.10, 9.12