IBC003: Berekenbaarheid

Begeleiding

Stof

Thomas A. Sudkamp, Languages and Machines, Addison Wesley, derde editie (ISBN 0321322215). De stof die zal worden behandeld is:

Turing Machines 8.1−8.7, 9.1−9.3
Decidability 11.1−11.5, 12.1−12.4
μ-Recursive Functions 9.4, 13.1−13.4, 13.6

Rooster

Een college bestaat uit een uur werkcollege gevolgd door een uur hoorcollege, of uit een uur responsiecollege gevolgd door een toets. De tijden in de week van de cursus zijn:

De cursus volgt de volgende lessentabel (onder voorbehoud):

datum werkcollege hoorcollege video toets
8 november
 
 
8.1, 8.2, 8.3
 
 
clip
clip
clip**
9 november 8: 1, 2, 3bc, 4, 5ac, 6 8.4, 8.5, 8.6 clip**
15 november
 
8: 8, 11, 14, 18
 
8.7
 
clip**
clip***
16 november 8: 19, 21, 25, 26, 27 9.1, 9.2, 9.3 clip
22 november 9: 1bc, 5ce, 6cf, 7b, 8c 11.4, 11.5 clip**
23 november
 
11.45−12.30
HG00.307*
29 november 11: 9, 10, 11 12.1 clip**
30 november
 
11: 12, 15 & 12: 1
 
12.2, 12.3, 12.4
 
clip**
clip**
6 december 12: 4, 5, 9, 12ac, 13a 9.4 clip**
7 december
 
11.45−12.30
HG00.307*
13 december 9: 10a, 11b, 12b 13.1, 13.2 clip**
14 december 13: 2b, 3ab, 6ab, 8ad, 10 13.3, 13.4, 13.6 clip**
20 december 13: 11ae, 12a, 13, 23 13.6, recap clip**
21 december
 
11.45−12.30
LIN 1*
10 januari
 
inhaaltoets
 
16.45−17.30
HG00.068*
11 januari vragenuurtje 10.45−11.30

* Studenten met extra tijd doen de toetsen in HG02.028 (op 10 januari in HG01.057).

** Deze clip is een opname van de cursus van najaar 2010.

*** Deze clip is een opname van de cursus van najaar 2010, en behandelt stof die dit jaar niet bij de cursus hoort.

En hier is dezelfde tabel voor de oudere, tweede editie van Sudkamp:

datum werkcollege hoorcollege video toets
8 november
 
 
9.1, 9.2, 9.3
 
 
clip
clip
clip**
9 november 9: 1, 2, 3bc, 4, 5ac, 6 9.4, 9.5, 9.6 clip**
15 november
 
9: 12, 15, 10, 11
 
9.7
 
clip**
clip***
16 november 9: 16, 18, 24, 25, 26 12.1, 12.2, 12.3 clip
22 november 12: 1bc, 2ce, 3cf, 4b, 5c 11.2, 11.4 clip**
23 november
 
11.45−12.30
HG00.307*
29 november 11: 6, 7, 8 11.1, 11.3 clip**
30 november
 
11: 9, 10 & was er niet
 
11.5, 11.6
 
clip**
clip**
6 december 11: 12, 13, 17, 18ac, 19a 12.4 clip**
7 december
 
11.45−12.30
HG00.307*
13 december 12: 7a, 8b, 9b 13.1, 13.2 clip**
14 december 13: 1b, 2ab, 5ab, 6ad, 8 13.3, 13.4, 13.6 clip**
20 december 13: 9ae, 10a, 11, 21 13.6, recap clip**
21 december
 
11.45−12.30
LIN 1*
10 januari
 
inhaaltoets
 
16.45−17.30
HG00.068*
11 januari vragenuurtje 10.45−11.30

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 2011]

Annemieke en Jeroen maken vrolijke tekeningetjes op hun toetsen

[bloemetje]
[Snusmumriken]

Toetsen en Tentamens

Toetsen van dit jaar

Toetsen en tentamens van vorig jaar

Toetsen en tentamens van eer-vorig jaar

Toetsen en tentamens van eer-eer-vorig jaar

Toetsen en tentamens van eer-eer-eer-vorig jaar

Toetsen en tentamens van eer-eer-eer-eer-vorig jaar

Toetsen en tentamens van eer-eer-eer-eer-eer-vorig jaar

Toetsen van eer-eer-eer-eer-eer-eer-vorig jaar

Toetsen van eer-eer-eer-eer-eer-eer-eer-vorig jaar

Nog oudere toetsen

En nóg oudere toetsen