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.
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.
datum | werkcollege | hoorcollege | toets |
16 september | 1.1, 1.2, 1.3, 1.4 | ||
17 september | 1: A, B, C, D | 1.5, 1.6, 1.7 | |
23 september | 1: E, F, G, H, I | 2.1, 2.2 | |
24 september | toets 1 | ||
30 september | 2: A, B, C, D | 2.3 | |
1 oktober | 2: E, F, G, H, I, J | 2.4 | |
7 oktober | 2: K, L, M | 3.1 | |
8 oktober | toets 2 | ||
14 oktober vakantie | |||
15 oktober vakantie | |||
21 oktober | 3: A, B | 3.2 | |
22 oktober | 3: C, D, E | 3.3 | |
28 oktober | 3: F, G, H | 3.4 | |
29 oktober | 3: I, J, K | 3.5, 3.6 | |
4 november | 3: L, M, N, O | 3.6 | |
5 november | 3: P, Q, R, S, T | 4.1, 4.2 | |
11 november | toets 3 | ||
12 november | 4: A, B, C | 4.3, 4.4 | |
18 november | 4: D, E, F, G, H, I | 4.5, 4.6, 4.7, 4.8 | |
19 november | 4: J, K | 4.8 | |
25 november | 4: L, M, N | 4.9 | |
26 november | 4: O, P, Q | 5.1, 5.2 | |
2 december | toets 4 | ||
3 december | 5: A, B, C, D, E | 5.3, 5.4 | |
9 december | 5: F, G, H | 5.5 | |
10 december | 5: I, J, K | 5.6 | |
16 december | 5: L, M, N, O, P, Q | recap | |
17 december | toets 5 | ||
6 januari | inhaaltoets | ||
20 januari | vragenuurtje in HG01.028 |
(Deze tabel wordt gedurende het semester eventueel aangepast naar de laatste inzichten.)
Het eindcijfer is
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.
De uitwerkingen van de opgaven uit het dictaat kun je hier vinden. Deze file wordt telkens een paar dagen voor de toets uitgebreid met het laatste hoofdstuk.