Progress report

Next week (Tuesday 13) I will start to lecture Section 7.7 (but before that I will talk a little bit more on first-order logic and what you need to know from the first sixt chapters of our book).

There will be no lecture Tuesday the 20th of March! (and there will no lecture Tuesday the 27th of March because of the Easter holiday).

Thus, there will a long break (from March 13 until April 3).

The lectures will continue throughout May, and the exam will be in June.