Messages
Tomorrow (Wednesday 16, the final lecture of the course) I will solve the exam from 2015.
- Section 4.2.1, page 107: 1, 3
- Section 4.5.1, page 112: 1
- Section 5.2.1, page 119: 1
- Section 5.3.1, page 128: 1, 2, 3, 7, 11, 12.
Next week we will solve the exercises in Chapter 8 (and maybe some past exams). The last lecture is before the exam is November 16.
Tomorrow (Wednesday 9) I will say a little bit more about the proof of the 1st Incompleteness Theorem. Then we will start to prepare for the exam. A good way to prepare for the exam is to solve the exercises in Chapter 8. We will discuss these exercises tomorrow.
- Berg, Alf Erik
- D?hlen, Ingrid
- Hille, Per Thomas
- Homme, Michael
- Jacob, Isabel
- J?rgensen, Johan Julius
- Mestl, Elsie Margrethe
- Moholt, Harald
- Murwanashyaka, Juvenal
- Olds, Hannah
- Simon, Raphael Valentin
- Stoltzer, Andreas
The students on this list will be enrolled for the written examination 29 November at 09:00 (4 hours). Please inform me if you think you should be on the list, but cannot find your name there.
Section 4.3.1, page 110: ex. 2, ex. 3 and ex. 6.
I recommend the following exercises:
- Section 3.2.1, page 86: 1, 2, 3, 4 and 8 (I have already solved 2, 3 and 4).
- Section 3.3.1, page 92: 1, 3, 5, 6, 8, 9, 10 and 11.
We will discuss a few of them next week.
Tomorrow (Wednesday) I will lecture Section 3.4 of our book.
Next week I will start to lecture Chapter 4 (and we will do exercises).
We meet tomorrow (Thursday 13) 15:30 in our usual room. You may ask questions related to the mandatory assignment (and other questions).
I am done with proof of the Completeness Theorem. Next week I will start to lecture Section 3.3 (Compactness).
Next week I will start to lecture Chapter 3 (no lecture tomorrow October 5).
I handed out the mandatory assignment today. I have left some copies iin my pigeonhole (mail box) for those of you that were not present. My pigeonhole is in room B 700 (7th floor of Niels Henrik Abels hus).
I have now lectured the first seven sections of Chapter 2. Next week I will solve exercises and lecture Section 2.8.
Here is a an exercise for those who need an extra challenge:
http://folk.uio.no/larsk/ex2016.pdf
It is a hard exercise.
SOLUTION: http://folk.uio.no/larsk/deduction.pdf
So far I have lectured the first four sections of Chapter 2. The next few weeks I will continue to lecture the 2nd chapter. The following exercises might be solved during the lectures:
- Section 2.2.1, page 47: 1 and 4
- Section 2.4.3, page 54: 4, 5 and 6
- Section 2.7.1, page 65: 4, 5, 6 and 7
- Section 2.8.1, page 70: 2, 4, 6, 7 and 8.
We are done with Chapter 1. Next week I will start to lecture Chapter 2.
Next week we will discuss the exercises below. Thereafter I will start to lecture
Chapter 2.
Our textbook is available here:
http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/
The first Chapter is available here:
http://folk.uio.no/larsk/ch1.pdf
The next few weeks I will lecture the 1st chapter of our book. The following exercises might be solved during the lectures:
- 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), 4 and 7
- Section 1.8.1, page 36: 4 and 6
- Section 1.9.1, page 38: 1, 2 and 4.