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, 16.45–17.30, en worden voorafgegaan (behalve de inhaaltoets) door een responsiecollege.

week datum 1e uur 2e uur opmerkingen
werkcollege hoorcollege
responsiecollege toets
36 3 september Geen college in verband met III
5 september Geen college in verband met III
37 10 september 1.1, 1.2, 1.3, 1.4
12 september 1: A, B, C, D 1.5, 1.6, 1.7 LIN 3
38 17 september 1: E, F, G, H, I 2.1, 2.2
19 september recap toets 1 LIN 3, LIN 8, HG00.633
39 24 september 2: A, B, C, D 2.3
26 september 2: E, F, G, H, I, J 2.4 LIN 3
40 1 oktober 2: K, L, M 3.1
3 oktober recap toets 2 HG00.307, LIN 8, HG00.633
41 8 oktober 3: A, B 3.2
10 oktober 3: C, D, E 3.3 LIN 6
42 15 oktober 3: F, G, H 3.3, 3.4
17 oktober 3: I, J, K, L, M 3.5, 3.6
43 22 oktober 3: N, O, P, Q, R 3.6
24 oktober 3: S, T, U, V 4.1, 4.2
44 29 oktober kwartaalonderbreking
31 oktober kwartaalonderbreking
45 5 november Extra responsiecollege Extra werkcollege HG00.307
7 november kwartaalonderbreking
46 12 november recap toets 3 HG00.307, HG00.304, HG00.633
14 november 4: A, B, C, D 4.3, 4.4
47 19 november 4: E, F, G, H, I, J, K, L 4.5, 4.6, 4.7
21 november 4: M, N, O, P 4.8
48 26 november 4: Q, R, S 4.8
28 november 4: T, U, V, W 4.9 LIN 3
49 3 december 4: X, Y, Z 5.1, 5.2, 5.3, 5.4
5 december recap toets 4 HG00.307, LIN 4, HG00.633
50 10 december 5: A, B, C, D, E, F 5.5
12 december 5: G, H, I 5.6 LIN 6
51 17 december recap toets 5 HG00.307, HG00.071, HG00.633
19 december 5: J, K, L, M, N, O geen college
52 24 december kerstvakantie
26 december kerstvakantie
1 31 december kerstvakantie
2 januari kerstvakantie
2 7 januari recap: oud tentamen
9 januari inhaaltoets HG00.307
3 14 januari geen college
16 januari vragenuur
4 23 januari tentamen 13.30–15.30, HG00.304, HG00.307
14 2 april hertentamen 13.30–15.30, HG00.068

(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. Echter, indien dit afgeronde cijfer een 5.5 oplevert 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 2012]

Uitwerkingen

Dit bestand 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

Toetsen en tentamens van eereereereereereereervorig jaar

Nog oudere toetsen

En een nóg oudere toets