Messages

Published Nov. 19, 2019 6:08 PM

 

The exam (but not the solutions) from 2018 is available here.

 

 

Published Nov. 19, 2019 5:13 PM

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.

Published Nov. 14, 2019 4:10 PM

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.

Published Nov. 12, 2019 2:51 PM

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.

Published Nov. 12, 2019 2:36 PM
  • 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.
Published Nov. 6, 2019 7:58 PM

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

Published Oct. 30, 2019 7:47 PM

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.

Published Oct. 30, 2019 7:41 PM

I recommend:

Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.

Published Oct. 22, 2019 2:33 PM

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.

Published Oct. 17, 2019 4:23 PM

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.

 

Published Oct. 17, 2019 4:22 PM

Today I talked on the stuff in Section 3.3. I will continue to talk about Section 3.3 next week.

Published Oct. 15, 2019 2:26 PM

I recommend the following exercises:

  • Section 3.2.1, page 86:  1, 2, 3, 4 and 8.
Published Oct. 15, 2019 2:24 PM

I am done with Section 3.2. Thursday I will talk about Section 3.3 (Compactness).

Published Oct. 8, 2019 2:32 PM

You may now use Canvas to hand in the mandatory assignment.

Published Oct. 3, 2019 4:23 PM

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.

 

Published Sep. 25, 2019 11:10 PM

There will be no lecture October 1 (Tuesday next week).

Published Sep. 25, 2019 11:07 PM

You find the assignment here.

Published Sep. 24, 2019 2:29 PM

Our student representative is Jannis Weis.

His e-mail adress is weisj at arcor.de

 

Published Sep. 23, 2019 10:29 PM

We need to elect one or two student representatives. We have to do that tomorrow! Please remind me if I should forget.

Published Sep. 23, 2019 10:27 PM

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.

Published Sep. 14, 2019 2:53 PM

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.

Published Sep. 10, 2019 2:44 PM

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.

Published Sep. 4, 2019 9:53 PM

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).

Published Sep. 4, 2019 9:44 PM

Section 1.8.1, page 34: ex 4 and ex 6.