Thomas A. Sudkamp, Languages and Machines, second edition, Addison Wesley, ISBN 0201821362:
Turing Machines | 9.1−9.8 |
Numerical Computation | 12.1−12.4 |
Decidability | 11.1−11.5 |
μ-Recursive Functions | 13.1−13.6 |
datum | hoorcollege | werkcollege | toets |
16 februari | 9.1, 9.2 | ||
18 februari | 9: 1, 2, 3bc, 4 | ||
23 februari | 9.3, 9.4 | ||
25 februari | 9: 5ac, 6, 7, 8 | ||
2 maart geen college | |||
4 maart | 11.45−12.30 | ||
9 maart | 9.5, 9.6 | ||
11 maart | 9: 10, 11, 12, 15 | ||
16 maart | 9.7 | ||
18 maart | 9: 16, 17, 18, 21*, 22* | ||
23 maart | 9.8 | ||
25 maart goede vrijdag | |||
30 maart | 12.1, 12.2 | ||
1 april | 9: 20*, 23*, 24*; 12: 1bc, 2ce | ||
6 april | 12.3, 12.4 | ||
8 april | 11.45−12.30 | ||
13 april geen college | |||
15 april geen college | |||
20 april | 11.1, 11.2 | ||
22 april | 12: 3cf, 4b, 5c, 7a, 8b, 9b | ||
27 april | 11.3, 11.4 | ||
29 april | 11: 7, 8, 10, 12, 13 | ||
4 mei vakantie | |||
6 mei vakantie | |||
11 mei | 13.1, 13.2 | ||
13 mei | 11.45−12:30 | ||
18 mei | 13.3, 13.4 | ||
20 mei | 13: 1b, 2ab, 5ab, 6ad, 8, 9ae | ||
25 mei | 13.5, 13.6 | ||
27 mei | 13: 10a, 11, 15b, 17, 18, 21 | ||
1 juni | 13.6, recap | ||
3 juni | 11.45−12.30 | ||
10 juni inhaaltoets** | 11.45−12.30 | ||
24 juni | vragenuurtje |
* 18 maart en 1 april: met opgave 20 uit hoofdstuk 9 wordt de tweede opgave 20 bedoeld. In de oude druk (die met maar één opgave 20) zijn opgaven 20 tot en met 24 genummerd 21 tot en met 25.
** het uur voor de inhaaltoets is er geen werkcollege; dus op 10 juni is er pas iemand aanwezig om half twaalf
Het eindcijfer is
Zowel de toetsen als het tentamen zijn "gesloten boek". De inhaaltoets is ook toegankelijk voor studenten die de andere vier toetsen al hebben gedaan.