Progress report

Today I lectured the first four setions of Chapter 2. Tomorrow I will a crash course on propositional logic (the first half of the lecture). Thereafter I will start to lecture Section 2.5.