Messages
The deadline for the mandatory assignment will be October 17, 14:30.
The assignment is available below and is handed in through Canvas.
No lectures next week. October 1 (Tuesday) we will solve and discuss exercises (see below).
I have lectured the first four sections of Chapter 2. Next week I will continue with Section 2.5, ... 2.6 ....
The lecture Tuesday 17 will start with a crash course on propositional logic. The coarse is recommendable for everyone (even if those already familiar with with propositional logic).
I recommend the following exercises:
- Section 2.2.1, page 47: 1 and 4
- Section 2.4.3, page 54: 3, 4, 5 and 6
- Section 2.7.1, page 65: 1, 4, 5, 6 and 7
- Section 2.8.1, page 70: 2, 4, 5, 6, 7 and 8.
Some of these exercises will be solved in class during the next few weeks.
We will do a few more exercises from Chapter 1 next week (we will for sure discuss exercise 4 at page 38). Thereafter I will start to lecture Chapter 2.
It seems like I need about one more lecture to finish Chapter 1. Thereafter we will do exercises (see below).
There will be no lectures the 24th and 25th of September.
Recommended exercises from Chapter 1:
- Section 1.3.1, page 12: 1, 2 and 3
- Section 1.4.1, page 17: 3, 4 and 5
- Section 1.5.1, page 21: 1 and 6
- Section 1.6.1, page 26: 2, 3 and 5 ...
I have started to lecture Chapter 1. I will spend the text feew weeks lecturing from Chapther 1.
We will meet on Tuesday. We will use this textbook:
- Leary & Kristiansen: A friendly introduction to mathematical logic.
You may buy the book from a number of online bookstores. You my even be able to buy a copy in the bookstore located at the university campus. You may also download the book for free:
http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/