Messages
The exam (but not the solutions) from 2018 is available here.
The final lecture takes place Thursday. We will discuss the exam from 2017 and maybe problem 8 and 9 of the exam from 2016.
You find the solutions below.
Solutions of past exams:
- 2007
- 2008
- 2009
- 2010
- 2011
- 2014: http://folk.uio.no/larsk/fas14.pdf
- 2015: http://folk.uio.no/larsk/solutionexam2015.pdf
- 2016: http://folk.uio.no/larsk/fas3600h16.pdf
- 2017: http://folk.uio.no/larsk/fasith17.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, 2015, 2016, 2017 and 2018.
Today I completeted the proof of Godel's 1st Incompleteness Theorem. Next week we will discuss the exercises in Chapther 8 (after I will talk 10 minutes about Godel's 2nd Incompleteness Theorem). The last lecture will take place on Thursday November 21.
I have completed the list of those who are qualified for the final exam.
Please check in Canvas that you are on the list if you should be on the list (everyone who has handed in the mandatory assignment should be on the list). Please inform me if something is wrong.
- 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.
Here is 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
Tomorrow (October 30) I will talk more about Section 3.4. I will also give my solution of the mandatory assignment.
Next week I will start to lecture Chapter 4.
I recommend:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
Thursday (October 24) I will discuss exercise 10 at page 94.
In the second half of the lecture I will give a crash course on sets and cardinalities (and talk a little bit about the Continuum Hypothesis). We will need this stuff in order to understand the theorems in Section 3.4.
I recommend the following exercises:
- Section 3.3.1, page 92: 1, 3, 5, 6, 8, 9, 10 and 11.
We will discuss a few of them in class.
Today I talked on the stuff in Section 3.3. I will continue to talk about Section 3.3 next week.
I recommend the following exercises:
- Section 3.2.1, page 86: 1, 2, 3, 4 and 8.
I am done with Section 3.2. Thursday I will talk about Section 3.3 (Compactness).
Next Tuesday (October 8) we will discuss exercise 7 and 8 at page 71 and exercise 4 at page 70. Thereafter I will start to talk about Chapter 3.
There will be no lecture October 1 (Tuesday next week).
Our student representative is Jannis Weis.
His e-mail adress is weisj at arcor.de
We need to elect one or two student representatives. We have to do that tomorrow! Please remind me if I should forget.
This week will do exercises, and we will discuss the stuff in Section 2.8. I will not start to about 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: 1, 4, 5 and 6
- Section 2.7.1, page 65: 1, 4, 5, 6 and 7
- Section 2.8.1, page 70: 2, 4, 6, 7 and 8.
Some of these exercises will be solved in class during the next few weeks.
I have introduced our formal calculus (except the inference rule PC).
Thursday I will a crash course on propositional logic. Thereafter I will talk more about PC. If time permits, I will also discuss the proofs of Theorem 2.7.1 and Lemma 2.7.2.
Tomorrow (Thursday 4) I will solve exercises and discuss odd and ends found in Chapter 1. Next week I will start to lecture Chapter 2 (maybe I already tomorrow will talk a little bit on Chapter 2).
Section 1.8.1, page 34: ex 4 and ex 6.