Messages
Next week I will start to lecture Chapter 4 and Chapter 5. We will move fast forward from now on. I will lecture what we need prove Theorem 6.3.6 at page 176-177. When we have proved the theorem, we are done. The curriculum ends at page 177.
I recommend the following exercises:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
I have lectured the three first sections of Chapter 3. Tomorrow (Wednesday October 21) we will discuss the exercises the exercises in Section 3.3.1 (see below).
Next week I will give a crash course on "sets and cardinalities. Thereafter I will lecture Section 3.4.
I recommend the following exercises:
Section 3.2.1, page 86: 1, 2, 3, 4, 5 and 8.
Section 3.3.1, page 93: 1, 3, 5, 6, 8, 9, 10 and 11.
Some of these exercises will be solved in class in the foreseeable future.
I have started to lecture Chapter 3 and the proof of the Completeness Theorem. Next week I will proceed with the proof of the theorem.
You are expected to submit the assignment (in Canvas) before October 15, 14:30.
The deadline will be automatically extended by one week for all you, until October 22, 14:30, that is, you do not have to apply for an extension until October 22.
You do not need to apply for yet another extension of the deadline. Such an application will not be granted. If you have not submitted the assignment before October 22, 14:30, you will not be enrolled for the final exam.
I have started to lecture Section 2.8. I will contuniue to lecture the section next week. We will spend a fair time discussing the material (and some exercises, see below) in Section 2.8.
Here is an exercise for those of you that need an extra challenge (it is a hard exercise). I will publish a solution later.
Everyone who wants to sign up for the final exam has to hand in the mandatory assignment (there will be only one such assignment)
You find the assignment here.
The deadline will be sometime in mid October (the exact deadline will be published later).
It is reasonable to start working on the assignment when I am done lecturing on Chapter 2.
We have nearly worked our way through the first seven sections of Chapter 2. Tomorrow (Wednesday) I will study the proof of the Deduction Theorem (which will Section 2.7) and thereafter we will discuss and solve exercises.
Next week we will continue working on exercises before I start lecturing on Section 2.8.
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.
I have started to lecture Chapter 2.
The lecture Wednesday 9 will start with a crash course on propositional logic. The course is recommendable for everyone (even for those already familiar with with propositional logic).
Next week we will discuss exercises (see below). Maybe I start to lecture Chapter 2 on Wednesday (and maybe not).
I have started to lecture Chapter 1. The next few weeks I will lecture Chapter 1 and Chapter 2.
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
Section 1.7.1, page 32: 2 (a)(b)(d)
Section 1.7.1 page 32: 7
Section 1.9.1, page 38: 1, 2 and 4.
We will meet tomorrow. 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 may also download the book for free:
http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/