IPK001: Formeel Denken

Docenten

Stof

Het dictaat staat als pdf file op deze webpagina. De hoofdstukken van het dictaat zijn:

Over ieder hoofdstuk zal een toets worden afgenomen (deze toetsen zijn niet verplicht, de beoordeling aan eind van de cursus is door middel van een tentamen). De toetsen kunnen evenwel worden gebruikt om het eindcijfer te verbeteren, volgens de formule verder op deze pagina.

Rooster

De coördinaten van de cursus zijn:

Zowel op dinsdag als op woensdag wordt een combinatie van werkcollege en hoorcollege gegeven. De toetsen duren altijd drie kwartier, 14.45–15.30, en worden voorafgegaan door responsiecollege.

weekdatum werkcollege hoorcollege toets
3713 september 1.1, 1.2, 1.3, 1.4
14 september 1: A, B, C, D 1.5, 1.6, 1.7
3820 september 1: E, F, G, H, I 2.1, 2.2
21 september LIN8 toets 1 (LIN3, LIN8)
3927 september 2: A, B, C, D 2.3
28 september 2: E, F, G, H, I, J 2.4
404 oktober 2: K, L, M 3.1
5 oktober LIN3 toets 2 (LIN4, LIN8)
4111 oktober 3: A, B 3.2
12 oktober 3: C, D, E 3.3, 3.4
4218 oktober kwartaalonderbreking
19 oktober kwartaalonderbreking
4325 oktober herfstvakantie
26 oktober herfstvakantie
441 november kwartaalonderbreking
2 november kwartaalonderbreking
458 november 3: F, G, H, I, J, K 3.5, 3.6
9 november 3: L, M, N, O, P 3.6
4615 november 3: Q, R, S, T 4.1, 4.2
16 november HG00.307 toets 3 (HG00.307, LIN4)
4722 november
Andere zaal: HG00.304!		 4: A, B, C, D 4.3, 4.4
23 november 4: E, F, G, H, I, J 4.5, 4.6, 4.7, 4.8
4829 november 4: K, L, M 4.8
30 november 4: N, O, P, Q 4.9
496 december 4: R, S, T 5.1, 5.2, 5.3, 5.4
7 december HG00.307 toets 4 (HG00.307, LIN3)
5013 december 5: A, B, C, D, E, F 5.5
14 december 5: G, H, I 5.6
5120 december 5: J, K, L, M, N, O recap
21 december HG00.307 toets 5 (HG00.307, LIN4)
5227 december kerstvakantie
28 december kerstvakantie
13 januari kerstvakantie
4 januari kerstvakantie
210 januari inhaaltoets
11 januari
 		 LIN1
vragenuurtje
13.45–14.30
317 januari tentamen
822 februari hertentamen

(Deze tabel wordt gedurende het semester eventueel aangepast naar de laatste inzichten.)

Beoordeling

Het eindcijfer is

max(tentamen, (gemiddelde van de vijf beste toetsen + tentamen)/2)

Eindcijfers worden op halven afgerond. Op verzoek van de examencommissie geven wij echter geen 5.5 als eindcijfers. In de gevallen waarbij bovenstaande formule op een 5.5 zou uitkomen, wordt individueel bepaald of het een 5.0 of een 6.0 wordt.

Zowel de toetsen als het tentamen zijn "gesloten boek". De inhaaltoets is ook toegankelijk voor studenten die alle andere toetsen hebben gedaan (in dat geval tellen de beste vijf van de zes).

Studenten die de cursus Beweren en Bewijzen al met een voldoende hebben afgerond, kunnen volstaan met het afleggen van de toetsen over de laatste drie hoofdstukken van de syllabus. Indien ze voor deze drie toetsen gemiddeld een voldoende halen, kunnen ze dit gemiddelde als eindcijfer laten tellen. In dat geval hoeven ze het eindtentamen niet te maken.

Een fotootje van het werkcollege

[FD 2011]

Een automaat door Denise Slotman, en wat Carst ervan vond

[hardwerkende eindige automaat]

Uitwerkingen

Deze file wordt normaal gesproken elk weekend uitgebreid met de uitwerkingen van de opgaven uit de voorafgaande week.

Toetsen en Tentamens

Toetsen van dit jaar

Toetsen en tentamens van vorig jaar

Toetsen en tentamens van eervorig jaar

Toetsen en tentamens van eereervorig jaar

Toetsen en tentamens van eereereervorig jaar

Toetsen en tentamens van eereereereervorig jaar

Toetsen en tentamens van eereereereereervorig jaar

Toetsen en tentamens van eereereereereereervorig jaar

Nog oudere toetsen

En een nóg oudere toets