As of September 2025, AI students will follow their own 'Formal Reasoning for AI' course with code SOW-BKI146. Although the first half of the courses SOW-BKI146 and NWI-IPK001 coincide, the two courses are officially different courses, with their own rules. As this is the page for NWI-IPK001 the course information on this page does not apply to SOW-BKI146 as well. In particular, the SOW-BKI146 course has different rules for passing the course, so if you are doing the AI version, please check the Brightspace site for SOW-BKI146!
The course notes will become available as a PDF on this page. The chapters are:
There are four intermediate tests. The first one is about Chapters 1 and 2, the second about Chapter 3, the third about Chapter 4, and the fourth about Chapters 5 and 6. These tests will be done digitally using the ANS digital assessment software. These tests are currently scheduled to be on-campus only. The tests contain both 'closed questions' as well as 'open questions'. 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 contact the Student Service Desk (STIP) 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:
On some days we do not follow the normal schedule of a plenary lecture followed by an exercise hour. You can see this in the schedule below. The colors indicate the type of activity. In particular this is the case when we have an intermediate test. These intermediate tests always take place from 18.00--18.45, which is the time implied by the digital exam organization. Each of these tests is preceded by a response lecture where you can ask questions and are expected to answer other people's questions about the topic of the test. These response lectures will be in the second hour of a lecture block, so both on Monday and on Thursday at 16.30--17.15.
| week | date | first hour | second hour | test | remarks |
| exercise hour | plenary lecture | ||||
| response lecture | test | ||||
| 36 | September 1 | 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 | Additional room available. | ||
| 37 | September 8 | 1: E, F, G, H, I | 2.1, 2.2 | Additional room available. | |
| September 11 | 2: A, B, C, D | 2.3 | Additional room available. | ||
| 38 | September 15 | 2: E, F, G, H, I, J | 2.4 | Additional room available. | |
| September 18 | 2: K, L, M | 3.1 | Additional room available. | ||
| 39 | September 22 | Predicate logic with equality in Ans | Recap | Test 1: chapters 1 and 2 | The lecture and recap will be in CC4. The test at 18.00 will be in the Comenius building. |
| September 25 | 3: A, B, C | 3.2, 3.3, 3.4 | |||
| 40 | September 29 | 3: D, E, F, G, H, I | 3.5, 3.6, 3.7 | ||
| October 2 | 3: J, K, L, M, N, O, P | 3.8 | |||
| 41 | October 6 | 3: Q, R, S | 3.8 | ||
| October 9 | 3: T, U, V, W | 3.9, 3.10 | |||
| 42 | October 13 | 3: X, Y, Z | 3.11 | ||
| October 16 | Recap | Test 2: chapter 3 | See the official schedule for time and location! | ||
| 43 | October 20 | quarter break | |||
| October 23 | quarter break | ||||
| 44 | October 27 | quarter break | |||
| October 30 | quarter break | ||||
| 45 | November 3 | 3: AA, AB, AC, AD, AE, AF, AG, AH | 4.1 | ||
| November 6 | 4: A, B | 4.2 | |||
| 46 | November 10 | 4: C, D, E | 4.3 | ||
| November 13 | 4: F, G, H | 4.3, 4.4 | |||
| 47 | November 17 | 4: I, J, K, L, M | 4.5 | ||
| November 20 | 4: N, O, P | 5.1, 5.2 | |||
| 48 | November 24 | Recap | Test 3: chapter 4 | See the official schedule for time and location! | |
| November 27 | 5: A, B, C, D, E | 5.2 | |||
| 49 | December 1 | 5: F, G, H, I, J, K, L | 5.3 | ||
| December 4 | 5: M, N, O, P, Q, R | 6.1, 6.2, 6.3, 6.4 | |||
| 50 | December 8 | 6: A, B, C, D, E, F | 6.5 | ||
| December 11 | 6: G, H, I | 6.6 | |||
| 51 | December 15 | 6: J, K, L, M, N, O | Applications | ||
| December 18 | Recap | Test 4: chapters 5 and 6 | See the official schedule for time and location! | ||
| 52 | December 22 | Christmas break | |||
| December 25 | Christmas break | ||||
| 1 | December 29 | Christmas break | |||
| January 1 | Christmas break | ||||
| 2 | January 5 | Recap: last year's exam | See the official schedule for time and location! | ||
| January 7 | Additional test | No recap session. See the official schedule for time and location! | |||
| 3 | January 12 | Final exam | See the official schedule for time and location! | ||
| 14 | April 3 ??? | Tentative: Resit | See the official schedule for date, time and location! | ||
(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.0 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. 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).
The file containing the solutions will normally be updated twice a week with the solutions of last lecture's exercises. However, since this is a manual process, we might forget it. 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 translated some old tests to English. If the text below is in Dutch then the test and solutions are also in Dutch. In addition, be aware that we only started using digital tests in the year 2020--2021, so the older tests may be somewhat different.