| 44 | |
maandag 2011 10 31 |
| | |
slides college 1:
4-up
b
|
| | |
dictaat lambda-calculus: hoofdstuk 1
|
| | |
woensdag 2011 11 02 |
| | |
werkcollege 1
|
| | |
doel: vertrouwd raken met lambda-termen, substitutie, beta-reductie
|
| | |
selectie uit: hoofdstuk 1 opgaven 1 tm 12 en 16
|
| 45 | |
maandag 2010 11 07 |
| | |
slides college 2:
4-up
b
|
| | |
dictaat lambda-calculus: hoofdstuk 1 en 2
(3 nog niet)
|
| | |
woensdag 2011 11 09 |
| | |
werkcollege 2:
|
| | |
doel: vertrouwd raken met notie van strategie, toepassen strategie, confluentie,
(zwakke) terminatie
|
| | |
hoofdstuk 2: opgaven 1abc, 2abc, 9, 5ab, 8ab, 11, 12
|
| | |
(deze opgaven nog nauwelijks: hoofdstuk 3: opgaven 5, 6, 2, 3, 8b, 4a)
|
| 46 | |
maandag 2011 11 14 |
| | |
slides college 3:
4-up
b
|
| | |
woensdag 2011 11 16 |
| | |
werkcollege 3:
|
| | |
doel:
|
| | |
hoofdstuk 3: opgaven 5, 6, 9,(2,) (3,) 4a, 12b, 7a, 8
|
| | |
hoofdstuk 4: opgaven 2, 3, (5,) 6, 7, 8
|
| 47 | |
maandag 2011 11 21 |
| | |
slides college 4:
4-up
b
|
| | |
woensdag 2011 11 23 |
| | |
werkcollege 4:
|
| | |
(een selectie uit)
opgaven
werkcollege 4
|
| 48 | |
maandag 2011 11 28 |
| | |
slides college 5:
b
|
| | |
woensdag 2011 11 30 |
| | |
werkcollege 5:
|
| | |
opgaven hoofdstuk 2 en opgaven hoofdstuk 3
|
| 49 | |
maandag 2011 12 05 |
| | |
slides college 6:
b
|
| | |
woensdag 2011 12 07 |
| | |
werkcollege 6:
|
| | |
opgaven 5.1, 5.2, 6.1, 6.2 (uitgebreid, cf practicumopdracht 5), 6.3, 6.4, 5.4
|
| 50 | |
maandag 2011 12 12 |
| | |
slides college 7:
b
|
| | |
woensdag 2011 12 15 |
| | |
werkcollege 7:
|
| | |
opgaven 7.1, 7.2, 7.3, 7.4, 7.6, 7.8a, (7.7)
|
|
| | |
opgaven 8.1a(NB Voorbeeld 8.1),8.2a, 8.3, 8.4
|