T1b: Berekenbaarheid

Begeleiding

Stof

Thomas A. Sudkamp, Languages and Machines, Addison Wesley. Dit boek heeft twee verschillende versies. De "oude" uitgave is de tweede editie (ISBN 0201821362). In deze uitgave is de stof te vinden in:

Turing Machines 9.1−9.8
Numerical Computation 12.1−12.3
Decidability 11.1−11.5
μ-Recursive Functions 12.4, 13.1−13.6

De "nieuwe" uitgave is de derde editie (ISBN 0321322215). In deze uitgave is dezelfde stof te vinden in:

Turing Machines 8.1−8.8
Numerical Computation 9.1−9.3
Decidability 11.1−11.5, 12.1−12.3
μ-Recursive Functions 9.4, 13.1−13.6

Rooster

Meestal bevatten een paar van twee college-uren zowel één uur hoorcollege als één uur werkcollege (maar niet noodzakelijk in die volgorde). De tijden in de week van deze cursus zijn:

De volgende lessentabellen zijn onder voorbehoud. Hier is de versie voor de tweede editie van Sudkamp:

datum stof opgaven toets
7 februari 9.1, 9.2 9: 1, 2, 3bc, 4
12 februari 9.3 9: 5ac, 6, 7, 8
14 februari 9.4, 9.5, 9.6 9: 10, 11, 12, 15
19 februari carnaval
21 februari carnaval
26 februari 9.7 9: 16, 17, 18
28 februari 9.8 9: 23*, 24*, 25*, 26*, 27*
5 maart 11.45−12.30
7 maart 12.1, 12.2 12: 1bc, 2ce
12 maart
14 maart
19 maart 12.3 12: 3cf, 4b, 5c
21 maart 11.2, 11.4 11: 6, 7, 8, 10
26 maart 11.1, 11.3 11: 9
28 maart 11.5 11: 12, 13, 17
2 april
 		 11.45−12.30
HG00.071
4 april 12.4 12: 7a, 8b, 9b
9 april pasen
11 april 13.1, 13.2 13: 1b, 2ab, 5ab, 6ad, 8
16 april 13.3, 13.4 13: 9ae, 10a, 11
23 april 13.6 13: 21
25 april 13.5 13: 15b, 17, 18
30 april vakantie
2 mei vakantie
7 mei
 		 11.45−12.30
E0003
9 mei inhaaltoets*** 11.45−12.30
22 juni vragenuurtje
 		 12.30−13.30
HG00.631

En hier is de versie met de nummering uit de derde editie van Sudkamp:

datum stof opgaven toets
7 februari 8.1, 8.2 8: 1, 2, 3bc, 4
12 februari 8.3 8: 5ac, 6, 7, 12
14 februari 8.4, 8.5, 8.6 8: 14, 18, 8, 11
19 februari carnaval
21 februari carnaval
26 februari 8.7 8: 19, 20**, 21
28 februari 8.8 8: 25, 26, 27, 29, 32
5 maart 11.45−12.30
7 maart 9.1, 9.2 9: 1bc, 5ce
12 maart
14 maart
19 maart 9.3 9: 6cf, 7b, 8c
21 maart 11.4, 11.5 11: 9, 10, 11, 15
26 maart 11.1, 11.2, 12.1 11: 12
28 maart 11.3, 12.2, 12.3 12: 4, 5, 9
2 april
 		 11.45−12.30
HG00.071
4 april 9.4 9: 10a, 11b, 12b
9 april pasen
11 april 13.1, 13.2 13: 2b, 3ab, 6ab, 8ad, 10
16 april 13.3, 13.4 13: 11ae, 12a, 13
23 april 13.6 13: 23
25 april 13.5 13: 17b, 19, 20
30 april vakantie
2 mei vakantie
7 mei
 		 11.45−12.30
E0003
9 mei inhaaltoets*** 11.45−12.30
22 juni vragenuurtje
 		 12.30−13.30
HG00.631

* 28 februari: in de oude druk van de tweede editie (die met maar één opgave 20) zijn opgaven 23 tot en met 27 genummerd 24 tot en met 28.

** deze opgave verschilt van de corresponderende opgave in de andere editie van Sudkamp

*** het uur voor de inhaaltoets is er geen college; dus op 9 mei is er pas iemand aanwezig om half twaalf

Beoordeling

Het eindcijfer is

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

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

Een fotootje van het college

[T1b 2007]

Toetsen en Tentamens

Toetsen en tentamens van dit jaar

Toetsen en tentamens van vorig jaar

Toetsen van eer-vorig jaar

Toetsen van eer-eer-vorig jaar

Nog oudere toetsen

En nóg oudere toetsen