Messages
You find the solution of the exam from 2015 here:
http://folk.uio.no/larsk/solutionexam2015.pdf
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.
- 2007
- 2008
- 2009
- 2010
- 2011
- 2014: http://folk.uio.no/larsk/fas14.pdf
Beware that the curriculum in 2008, 2009, and 2010, was different from the current curriculum. This is reflected in the exams. This year's curriculum is the same as in 2007, 2011, 2012, 2013, 2014 and 2015.
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.