IPK001: Formal Reasoning

Teachers

Course material

The course notes will become available as a PDF from this page. The chapters are:

Each block of two chapters 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.

Late registration

For students who want to register for this course, but cannot do this anymore because the registration is closed in Osiris: please go to the Student Service Desk at the Science faculty.

Schedule

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
36 September 4 1.1, 1.2, 1.3, 1.4 Two hours of plenary lectures.
September 6 1: A, B, C, D 1.5, 1.6, 1.7
37 September 11 1: E, F, G, H, I 2.1, 2.2
September 13 2: A, B, C, D 2.3
38 September 18 2: E, F, G, H, I, J 2.4
September 20 2: K, L, M No plenary lecture, but two exercise hours.
39 September 25 recap test 1: chapters 1 and 2
September 27 no exercise hour 3.1 Only a plenary lecture.
40 October 2 3: A, B 3.2
October 4 3: C, D, E 3.3
41 October 9 3: F, G, H 3.3, 3.4
October 11 3: I, J, K, L, M 4.1, 4.2
42 October 16 4: A, B, C, D, E 4.2
October 18 4: F, G, H, I 4.3
43 October 23 4: J, K, L, M, N No plenary lecture, but two exercise hours.
October 25 recap test 2: chapters 3 and 4
44 October 30 quarter break
November 1 quarter break
45 November 6 quarter break
November 8 quarter break
46 November 13 no exercise hour 5.1 Only a plenary lecture.
November 15 5: A, B, C 5.2, 5.3, 5.4
47 November 20 5: D, E, F, G, H, I 5.5, 5.6, 5.7
November 22 5: J, K, L, M, N, O, P 5.8
48 November 27 5: Q, R, S 5.8
November 29 5: T, U, V, W 5.9
49 December 4 5: X, Y, Z 5.10
December 6 5: AA, AB, AC, AD, AE, AF, AG, AH 6.1, 6.2, 6.3, 6.4
50 December 11 6: A, B, C, D, E, F Canceled
December 13 6.5 6: (A, B, C, D, E, F), G, H, I
51 December 18 6.6 6: J, K, L, M, N, O
December 20 recap test 3: chapters 5 and 6
52 December 25 Christmas break
December 27 Christmas break
1 January 1 Christmas break
January 3 Christmas break
2 January 8 recap: last years exam
January 10 additional test
3 January 15 no lectures
January 17 question session 15.45–16.30
4 January 22 final exam 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.)

Grading

The final grade is calculated via the formula

max(exam, (average of three 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". The additional test in January is intended for students who missed one or more of the other tests, but other students may try it as well. However, there will be only one lecture room available, so the amount of students that can participate is automatically limited by the size of the room. Usually, for each student that wants to do this test there is a chair available. However, if there are more students willing to do this test than we can accomodate in the lecture room, students that really missed one or more tests will be admitted to the lecture room first. Note that this single test covers all topics. So if you missed the test on propositional and 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). Note also that Freek typically wants this test to be a bit more challenging than the regular tests.

Yvonne says "game on"!

[FR 2017]
[FR 2017]

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, all tests before 2016–2017 were in Dutch. In order to provide more options for studying the course material for those who do not speak Dutch, we started translating old tests to English. If the text below is in English then the test and solutions have already been translated to English.

This year's tests

Tests from 2016

Tests from 2015

Tests from 2014

Tests from 2013

Tests from 2012

Tests from 2011

Tests from 2010

Tests from 2009

Tests from 2008

Tests from 2007

Tests from 2006

Tests from 2005

Tests from 2004

Tests from 2003

Test from 2002