Messages
The following students should be enrolled for the final exam:
- Darian Beluche
- Jonas Bernard
- Jesper Aure Dalb?k
- Jago Ecknig
- Sean Amaury Lapalus
- Alexandre Goncalues Melo
- Mattis Nordgaard
- Jakob Linnestad S?nsteb?
- Felicitas Stichlmayr
Please check in Canvas that everything is all right. If you think you should be enrolled for the exam, but cannot find your name on the list, please inform me.
Recommended exercises:
- Section 4.2.1, page 107: 1, 3.
- Section 5.2.1, page 119: 1, 2, 3.
- Section 5.3.1, page 128: 1, 2, 3, 7, 11, 12
Some of these exercises might be solved in class in the foreseeable future.
- November 15, Tuesday: Lecture. I will finish off Chapter 5, and then we will discuss and solve exercises.
- November 16, Wednesday: Lecture. Chapter 6 (the proof of Godel's 1st Incopleteness Theorem).
- Break. There will be no lectures between November 21 and November 27.
- November 30, Wednesday: We will solve problems from past exams and Section 8.
- December 7, Wednesday: We will solve problems from past exams and Section 8.
I recommend the following exercises:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
Next week I will finish off Chapter 3 (I will talk about Skolem-Lowenheim theorems). Then, I will solve the mandatory assigment in class. Thereafter I will start to lecture Chapter 4.
I recommend the following exercises:
- Section 3.2.1, page 86: 1, 2, 3, 4, 5 and 8.
- Section 3.3.1, page 92: 1, 3, 5, 6, 8, 9, 10 and 11.
Some of these exercises will be solved in class in the foreseeable future.
I have barely started to lecture Chapter 3. Tomorrow (Tuesday) and Wednesday we will discuss the material in Section 3.2. Thereafter, maybe after the break Wednesday, I will start to lecture Section 3.3.
Here is a an exercise for those who need an extra challenge:
I will publish a solution in a week or two.
I will hand out the mandatory assignment at the lecture Wednesday the 28th. If you will not attend the lecture please send me an e-mail.
The deadline for the assignment is October 13.
Tomorrow (Tuesday the 27th of September) I will start to lecture Section 2.8. Thereafter, we will do exercises (Section 2.8.1, page 70: 2, 4, 5, 6, 7 and 8).
I will not start to lecture Chapter 3 until next week.
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.
Today (Tuesday) I have talked about material in Section 2.3 and 2.4. Tomorrow (Wednesday) I will continue to lecture Chapter 2.
Next week we talk about the proof of the Soundness Theorem (Th. 2.5.2) and the proof of the Deduction Theorem (Th. 2.7.4). We will probably also discuss some exercises.
We are more or less done with Chapter 1 ... more or less.... I have a few more words to say ..... Next we we will do exercises (see below), and the I will start to lecture 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 ...
Today I gave an introductory lecture.
Tomorw I will start to lecture Section 1.2. I will spend the next few weeks lecturing Chapter 1.
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/