Semester page for MAT-INF3600 - Autumn 2016

You find the solution of the exam from 2015 here:

http://folk.uio.no/larsk/solutionexam2015.pdf

 

Nov. 16, 2016 6:24 PM

Tomorrow (Wednesday 16, the final lecture of the course) I will solve the exam from 2015.

Nov. 15, 2016 2:15 PM

 

  • 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.
Nov. 14, 2016 2:12 PM

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.

Nov. 11, 2016 2:58 PM

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.

 

Nov. 11, 2016 2:51 PM

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.

Nov. 8, 2016 6:53 PM
  1. Berg, Alf Erik
  2. Dæhlen, Ingrid
  3. Hille, Per Thomas
  4. Homme, Michael
  5. Jacob, Isabel
  6. Jørgensen, Johan Julius
  7. Mestl, Elsie Margrethe
  8. Moholt, Harald
  9. Murwanashyaka, Juvenal
  10. Olds, Hannah
  11. Simon, Raphael Valentin
  12. 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.

Nov. 1, 2016 1:21 PM

Section 4.3.1, page 110: ex. 2, ex. 3 and ex. 6.

Oct. 25, 2016 7:43 PM