21 Jan 2020
The exam next week will cover all the material in the second half of the course – that is all the material covered in weeks 5-9 of the course. This includes lecture 15 on operational semantics and Hoare logic, but only up to the rule for loops in Hoare logic.
This material does depend on some of the earlier material (such as, the first lecture on propositional logic) – so you will be expected to know this as well.
Any material that is not covered in the second half of the course – for example, circuit diagrams – will not be on the exam.
20 Jan 2020
I’ve uploaded the solutions to the exercises on natural deduction. Apologies for the poor handwriting – I hope you can all read them.
14 Jan 2020
There will be a mini-quiz on Thursday the 16th. The quiz will only cover material from Chapter 11.
Also note that we will no longer be using the book, Modelling Computing Systems, in the last two lectures. If you’re unsure about understanding the material referenced yourself, I recommend attending the lectures.
02 Dec 2019
21 Nov 2019
I’ve updated the FAQ with some of the questions I’ve received by email. Be sure to check it out and get in touch if anything regarding the course organization is unclear.
14 Nov 2019
The slides of the second lecture are now on the overview page.
Be sure to check out the set of recommended exercises for the first lab session.
12 Nov 2019
I’ve updated the exercise page with information about when the mini-exams will be held and the material that will be covered.
12 Nov 2019
After today’s lecture, I’ll upload the slides to the overview page.
Note that there will not be a exercise session on Thursday 14 November. The first exercise session will be on Tuesday 19 November.
02 Sep 2019
Welcome to the website for the course Logica voor informatica. More content will follow shortly.