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.8
Decidability 11.1−11.5, 12.1−12.4
μ-Recursive Functions 9.4, 13.1−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 volgende lessentabel (onder voorbehoud):

datum werkcollege hoorcollege toets
9 november 8.1, 8.2
13 november 8: 1, 2, 3bc, 4 8.3
16 november 8: 5ac, 6, 7, 12 8.4, 8.5, 8.6
20 november 8: 8, 11, 14 8.7
23 november 8: 18, 19, 21 8.8
27 november 8: 25, 26, 27, 29, 32 11.4, 11.5
30 november 11.45−12.30
4 december 11: 9, 10, 11 11.1, 11.2, 12.1
7 december 11: 12, 15 11.3, 12.2, 12.3
11 december 12: 4, 5, 9 12.4
14 december 12: 12ac, 13a 9.4
18 december 14.45−15.30
4 januari 9: 10a, 11b, 12b 13.1, 13.2
8 januari 13: 2b, 3ab, 6ab, 8ad, 10 13.3, 13.4
11 januari 13: 11ae, 12a, 13, 23 13.6
15 januari 14.45−15.30
22 januari
 		 inhaaltoets
 		 14.45−15.30*
HG00.071
27 januari
 		 vragenuurtje
 		 13.30−14.30
HG00.071

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

datum werkcollege hoorcollege toets
9 november 9.1, 9.2
13 november 9: 1, 2, 3bc, 4 9.3
16 november 9: 5ac, 6, 7, 8 9.4, 9.5, 9.6
20 november 9: 12, 15, 10 9.7
23 november 9: 11, 16, 18 9.8
27 november 9: 24, 25, 26, 27, 28 11.2, 11.4
30 november 11.45−12.30
4 december 11: 6, 7, 8 11.1, 11.3
7 december 11: 9, 10 11.5
11 december 11: 12, 13, 17 11.6
14 december 11: 18ac, 19a 12.4
18 december 14.45−15.30
4 januari 12: 7a, 8b, 9b 13.1, 13.2
8 januari 13: 1b, 2ab, 5ab, 6ad, 8 13.3, 13.4
11 januari 13: 9ae, 10a, 11, 21 13.6
15 januari 14.45−15.30
22 januari
 		 inhaaltoets
 		 14.45−15.30*
HG00.071
27 januari
 		 vragenuurtje
 		 13.30−14.30
HG00.071

)

* Het uur voor de inhaaltoets is er geen college; dus op 22 januari is er pas iemand aanwezig om 14.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 2009]

Toetsen en Tentamens

Toetsen en tentamens 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 van eer-eer-eer-eer-vorig jaar

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

Nog oudere toetsen

En nóg oudere toetsen