IPK001: Formal Reasoning


Course material

The English course notes will become available as a PDF from this page. For the time being, the Dutch course notes from last year's course are also available here. The chapters are:

Each chapter will be concluded with a written intermediate test. These tests are not obligatory because there is a final exam at the end of the semester. However, these intermediate tests can be used to improve the result of the final exam using the formula described below on this page.


On this page we try to list as clearly as possible what will be done at which moment in time within this course. However, this page is manually maintained, hence for instance changes of lecture halls are not automatically processed. Therefore you should always check your personal schedule for the latest information on rooms and exam dates.

The coordinates of this course are:

Both on Monday as on Wednesday there is a combination of an exercise hour and a plenary lecture. The intermediate tests always take 45 minutes, from 16.45 till 17.30. Each of these tests is preceded by a response lecture from 15.45 till 16.30, where you can ask and answer questions about the topic of the test. The colors indicate the type of activity.

week date first hour second hour remarks
exercise hour plenary lecture
response lecture test
35 August 29 1.1, 1.2, 1.3, 1.4 Two hours of plenary lectures.
August 31 1: A, B, C, D 1.5, 1.6, 1.7
36 September 5 1: E, F, G, H, I (LIN1, LIN3) 2.1, 2.2 (LIN3)
September 7 recap (LIN3) test 1 (LIN2, LIN3, HFML0220) LIN2, LIN3, HFML0220
37 September 12 2: A, B, C, D (SP2) 2.3 (SP2)
September 14 2: E, F, G, H, I, J (SP1, SP3) 2.4 (SP1)
38 September 19 2: K, L, M (SP2) No plenary lecture, but two exercise hours.
September 21 recap (LIN3) test 2 (LIN2, LIN3, HFML0220)
39 September 26 no exercise hour 3.1 (SP2) Only a plenary lecture.
September 28 3: A, B (LIN1, LIN3) 3.2 (LIN3)
40 October 3 3: C, D, E (SP2) 3.3 (SP2)
October 5 3: F, G, H (CC2, SP3) 3.3, 3.4 (CC2)
41 October 10 3: I, J, K, L, M (SP2) 3.5, 3.6 (SP2)
October 12 3: N, O, P, Q, R (LIN1, LIN3) 3.6 (LIN3)
42 October 17 3: S, T, U, V (SP2) No plenary lecture, but two exercise hours.
October 19 recap (LIN3) test 3 (LIN2, LIN3, HFML0220)
43 October 24 quarter break
October 26 quarter break
44 October 31 quarter break
November 2 quarter break
45 November 7 no exercise hour 4.1 (SP2) Only a plenary lecture.
November 9 4: A, B, C (CC4) 4.2, 4.3, 4.4 (CC4)
46 November 14 4: D, E, F, G, H, I (SP2) 4.5, 4.6, 4.7 (SP2)
November 16 4: J, K, L, M, N, O, P (CC4) 4.8 (CC4)
47 November 21 4: Q, R, S (SP2) 4.8 (SP2)
November 23 4: T, U, V, W (CC4) 4.9 (CC4)
48 November 28 4: X, Y, Z (SP2) 5.1, 5.2, 5.3, 5.4 (SP2)
November 30 recap (CC4) test 4 (CC3, CC4, CC5)
49 December 5 5: A, B, C, D, E, F (SP2) 5.5 (SP2)
December 7 5: G, H, I (CC4) 5.6 (CC4)
50 December 12 5: J, K, L, M, N, O (SP2) applications (SP2)
December 14 no lectures
51 December 19 recap (SP2) test 5 (GR0.100, TVA8.00.14)
December 21 no lectures
52 December 26 Christmas break
December 28 Christmas break
1 January 2 Christmas break
January 4 Christmas break
2 January 9 recap: last years exam (SP2)
January 11 additional test (CC4)
3 January 16 question session (HG00.304) 15.45–16.30
January 17 final exam LIN1, LIN3, LIN6, 13.30–16.30. Note that time and location may change, so always check the official schedule!

(This table will be updated during the semester according to the circumstances.)

In the red boxes you can click on the section numbers to see a video (in Dutch) about this topic from three years ago. A list of all the videos from that course can be found at podcast.science.ru.nl. It might be possible that these links only work within the university network.


The final grade is calculated via the formula

max(exam, (average of five intermediate tests + exam)/2)

Final grades are rounded into halves. However, since we are not allowed to register a 5.5 within Osiris, grades between 5.5 (inclusive) and 6.0 will be rounded upwards to a 6.0 and grades between 5 and 5.5 (exclusive) will be rounded downwards to a 5.0.

Both the tests and the exam are "closed book". Only students that missed at least one of the intermediate tests are admitted to the additional test. This single test covers all topics. So if you missed the test on predicate logic you will also have to study all other topics for the additional test (which is of course a good preparation for the final exam).

Sheet of scratch paper from a test

[FR 2016]

Resources and solutions

The file containing the solutions will normally be updated every weekend with the solutions of last weeks exercises. However, since this is a manual process, we might forget it. So if it takes too long, please send us an e-mail about this. In addition, the solutions will also become available via a second channel in Blackboard, so if we forgot to update the file on this page, you might check the course content within Blackboard.

Tests and exams

Below you can find a long list of intermediate tests and exams from this year and previous years. Unfortunately most of the tests before 2016–2017 are in Dutch. However, we started to translate the old tests to have at least one test available in English as well. Therefore: if the description is in English, the test behind the link is also in English!

This year's tests

Toetsen van vorig jaar

Toetsen van eervorig jaar

Toetsen van eereervorig jaar

Toetsen 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

Toetsen en tentamens van eereereereereereereereervorig jaar

Toetsen en tentamens van eereereereereereereereereervorig jaar

Toetsen en tentamens van eereereereereereereereereereervorig jaar

Toetsen en tentamens van eereereereereereereereereereereervorig jaar

Nog oudere toetsen

En een nóg oudere toets

I know regular expressions!

[Everybody stand back.]