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.
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.
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.30 till 17.15. Each of these tests is preceded by a response lecture from 15.30 till 16.15 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 2 | 1.1, 1.2, 1.3, 1.4 | Two hours of plenary lectures. | |
| September 4 | 1: A, B, C, D | 1.5, 1.6, 1.7 | ||
| 37 | September 9 | 1: E, F, G, H, I | 2.1, 2.2 | |
| September 11 | 2: A, B, C, D | 2.3 | ||
| 38 | September 16 | 2: E, F, G, H, I, J | 2.4 | |
| September 18 | 2: K, L, M | No plenary lecture, but two exercise hours. | ||
| 39 | September 23 | recap | test 1: chapters 1 and 2 | |
| September 25 | no exercise hour | 3.1 | Only a plenary lecture. | |
| 40 | September 30 | 3: A, B | 3.2 | |
| October 2 | 3: C, D, E | 3.3 | ||
| 41 | October 7 | 3: F, G, H | 3.3, 3.4 | |
| October 9 | 3: I, J, K, L, M | 4.1, 4.2 | ||
| 42 | October 14 | 4: A, B, C, D, E | 4.2 | |
| October 16 | 4: F, G, H, I | 4.3 | ||
| 43 | October 21 | quarter break | ||
| October 23 | quarter break | |||
| 44 | October 28 | quarter break | ||
| October 30 | quarter break | |||
| 45 | November 4 | 4: J, K, L, M, N, O | No plenary lecture, but two exercise hours. | |
| November 6 | recap | test 2: chapters 3 and 4 | ||
| 46 | November 11 | no exercise hour | 5.1 | Only a plenary lecture. |
| November 13 | 5: A, B, C | 5.2, 5.3, 5.4 | ||
| 47 | November 18 | 5: D, E, F, G, H, I | 5.5, 5.6, 5.7 | |
| November 20 | 5: J, K, L, M, N, O, P | 5.8 | ||
| 48 | November 25 | 5: Q, R, S | 5.8 | |
| November 27 | 5: T, U, V, W | 5.9 | ||
| 49 | December 2 | 5: X, Y, Z | 5.10 | |
| December 4 | 5: AA, AB, AC, AD, AE, AF, AG, AH | 6.1, 6.2, 6.3, 6.4 | ||
| 50 | December 9 | 6: A, B, C, D, E, F | 6.5 | |
| December 11 | 6: G, H, I | 6.6 | ||
| 51 | December 16 | 6: J, K, L, M, N, O | applications | |
| December 18 | recap | test 3: chapters 5 and 6 | ||
| 52 | December 23 | Christmas break | ||
| December 25 | Christmas break | |||
| 1 | December 30 | Christmas break | ||
| January 1 | Christmas break | |||
| 2 | January 6 | recap: last years exam | ||
| January 8 | additional test | |||
| January 15, 12.45--15.45 | 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.)
The final grade is calculated via the formula
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.
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 Brightspace, so if we forgot to update the file on this page, you might check the course content within Brightspace.
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.
