IPK001: Formeel Denken

Docenten

Stof

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

Propositielogica
Predikaatlogica
Talen en automaten
Discrete wiskunde
Modale logica

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
3714 september 1.1, 1.2, 1.3, 1.4
15 september LIN1 ipv CC4 1: A, B, C, D 1.5, 1.6, 1.7
3821 september 1: E, F, G, H, I 2.1, 2.2
22 september toets 1
3928 september 2: A, B, C, D 2.3
29 september 2: E, F, G, H, I, J 2.4
405 oktober 2: K, L, M 3.1
6 oktober toets 2
4112 oktober 3: A, B 3.2
13 oktober 3: C, D, E 3.3
4219 oktober 3: F, G, I 3.4
20 oktober 3: H, J, K 3.5, 3.6
4326 oktober kwartaalonderbreking
27 oktober kwartaalonderbreking
442 november kwartaalonderbreking
3 november kwartaalonderbreking
459 november 3: L, M, N, O 3.6
10 november 3: P, Q, R, S, T 4.1, 4.2
4616 november (LIN3) toets 3 (E0003)
17 november 4: A, B, C 4.3, 4.4
4723 november 4: D, E, F, G, H, I 4.5, 4.6, 4.7, 4.8
24 november 4: J, K 4.8
4830 november 4: L, M, N 4.9
1 december 4: O, P, Q 5.1, 5.2
497 december (LIN3) toets 4 (E0003)
8 december 5: A, B, C, D, E 5.3, 5.4
5014 december 5: F, G, H 5.5
15 december 5: I, J, K 5.6
5121 december kerstvakantie
22 december kerstvakantie
5228 december kerstvakantie
29 december kerstvakantie
14 januari 5: L, M, N, O, P, Q recap
5 januari toets 5
211 januari inhaaltoets
14.45–15.30
12 januari
 		 vragenuurtje
13.45–14.30

(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 een toets

[FD 2010]

Uitwerkingen

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

Toetsen en Tentamens

Toetsen en tentamens 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

Nog oudere toetsen

En een nóg oudere toets