Semester page for MAT-INF3600 - Autumn 2019

 

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

 

 

Nov. 19, 2019 6:08 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.

Nov. 19, 2019 5:13 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.

Nov. 14, 2019 4:10 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.

Nov. 12, 2019 2:51 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.
Nov. 12, 2019 2:36 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

Nov. 6, 2019 7:58 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.

Oct. 30, 2019 7:47 PM