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 will be done online. In order to have a reasonable idea whether these tests were actually done by the students themselves, a sample of students will be chosen for doing a follow-up oral 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 contact 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.
Due to COVID19 the course will be done in a slightly different way than usual.
Hence the coordinates of this course are (note that they have changed for the second quarter):
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. In particular this is the case when we have an intermediate test. These online intermediate tests always take 45 minutes, and will take place in the second hour of a lecture block. Each of these tests is preceded by a response lecture in the first hour 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 |
| plenary lecture | exercise hour | |||
| response lecture | test | |||
| 36 | August 31 | Introduction | Only a one-hour introduction | |
| September 2 | 1.1, 1.2, 1.3, 1.4 | 1: A, B, C, D | ||
| 37 | September 7 | 1.5, 1.6, 1.7 | 1: E, F, G, H, I | |
| September 9 | 2.1, 2.2 | 2: A, B, C, D | ||
| 38 | September 14 | 2.3 | 2: E, F, G, H, I, J | |
| September 16 | 2.4 | 2: K, L, M | ||
| 39 | September 21 | recap | test 1: chapters 1 and 2 | The test starts at 16.30. |
| September 23 | 3.1 | 3: A, B | ||
| 40 | September 28 | 3.2 | 3: C, D, E | |
| September 30 | 3.3 | 3: F, G, H | ||
| 41 | October 5 | 3.3, 3.4 | 3: I, J, K, L, M | |
| October 7 | 4.1, 4.2 | 4: A, B, C, D, E | ||
| 42 | October 12 | 4.2 | 4: F, G, H, I | |
| October 14 | 4.3 | 4: J, K, L, M, N, O | ||
| 43 | October 19 | quarter break | ||
| October 21 | quarter break | |||
| 44 | October 26 | recap | test 2: chapters 3 and 4 | Different time: the recap starts at 17.00 and the test starts at 18.00! |
| October 28 | quarter break | |||
| 45 | November 2 | 5.1 | 5: A, B, C | |
| November 4 | 5.2, 5.3, 5.4 | 5: D, E, F, G, H, I | ||
| 46 | November 9 | 5.5, 5.6, 5.7 | 5: J, K, L, M, N, O, P | |
| November 11 | 5.8 | 5: Q, R, S | ||
| 47 | November 16 | 5.8 | 5: T, U, V, W | |
| November 18 | 5.9 | 5: X, Y, Z | ||
| 48 | November 23 | 5.10 | 5: AA, AB, AC, AD, AE, AF, AG, AH | |
| November 25 | 6.1, 6.2, 6.3, 6.4 | 6: A, B, C, D, E, F | ||
| 49 | November 30 | 6.5 | 6: G, H, I | |
| December 2 | 6.6 | 6: J, K, L, M, N, O | ||
| 50 | December 7 | applications | Only a one-hour lecture | |
| December 9 | recap | test 3: chapters 5 and 6 | Different time: the recap starts at 17.00 and the test starts at 18.00! | |
| 51 | December 14 | Discussion about Test 3 | Extra lecture at the normal time! | |
| December 16 | additional test | Different time: the test starts at 18.00! Note that there is no recap! | ||
| 52 | December 21 | Christmas break | ||
| December 23 | Christmas break | |||
| 53 | December 28 | Christmas break | ||
| December 30 | Christmas break | |||
| 1 | January 4 | recap: last years exam | ||
(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.
Currently, it is expected that both the intermediate tests and the exam are done online, either through Brightspace or Cirrus, and then these will be "open book". You may use resources, but you may not have that much time to search through them. However, there is a possibility that the final exam can be done on campus (either as a Cirrus exam or as an old-fashioned paper exam) and if this will be the case then the exam will be "closed book".
The additional test in December is only for those students who missed one or more of the regular tests. 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 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.