T1b: Berekenbaarheid

Begeleiding

Stof

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

Rooster

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

Beoordeling

Het eindcijfer is

max(tentamen, (gemiddelde vier beste toetsen + tentamen)/2)

Zowel de toetsen als het tentamen zijn "gesloten boek". De inhaaltoets is ook toegankelijk voor studenten die de andere vier toetsen al hebben gedaan.

Een fotootje van het werkcollege

[T1b 2005]

Toetsen en Tentamens

Toetsen en Tentamens van dit jaar

Toetsen van vorig jaar

Nog oudere toetsen

En nóg oudere toetsen