Messages

Published Nov. 29, 2012 7:04 PM
Published Nov. 20, 2012 8:05 PM

I will solve the exam from 2011 Tuesday next week (November 27). This will be the final lecture.

Published Nov. 20, 2012 8:04 PM

The curriculum: Leary's book from page 1 until page 187 (and nothing else).

Published Nov. 20, 2012 7:59 PM

Solutions of past exams:

A link to the solution of the exam from 2011 will appear soon.

Beware that the curriculum in 2008, 2009, and 2010, was different from this year's curriculum. This is reflected in the exams. This year's curriculum is the same as in 2005, 2006, 2007 and 2011.

Published Nov. 14, 2012 6:35 PM

Next week we will solve exercises. We start with exercises from Chapter 4 in Leary's book. (You find these exercises listed below.) Thereafter we will solve exercises from previous exams. We start with the exam from 2008: Problem 2a, 2b, 2c, 2d, 2f and 2g. We proceed with the exam from 2010: Problem 1, 2, 3, 4, 5, 6, 7 and 8. Here is a link to the exams.

Published Nov. 14, 2012 5:48 PM

I have received -- and approved -- the mandatory assignment from the following candidates:

  • Robert Bauck Hamar
  • Eilif Solberg
  • Sveinung Knutsen N?ding
  • Andreas Nakkerud
  • Hallstein Asheim Hansen
  • Rimiko Li Mei Chuah
  • Julia Batkiewicz
  • Samantha Siew Cheng Seah
  • Kristoffer Langer?d
  • Li Hui Wee
  • Jonathan Ringstad
  • Sina Giesing
These are the candidates that will be enrolled for the final exam. Nobody else will be enrolled. If the list is not complete, please inform me. (There might be misunderstandings. I will not use the electronic system for registering candidates.)

Published Nov. 1, 2012 6:41 PM

I have started to lecture Chapter 4 in Leary's book. Exercises that might be solved in the weeks to come:4.3.1 (page 127): ex. 1, ex. 2, ex. 3. 4.3.1 (page 136-137): ex. 1, ex. 2, ex. 3, ex. 4, ex 5, ex 8, ex 9.

Published Oct. 16, 2012 3:37 PM

I have started to lecture Chapter 3 in Leary's book. Exercises to be solved in the weeks to come : 3.2.1 (page 101): ex. 1, ex. 2, ex. 3, ex. 4, ex. 5, ex. 9. 3.3.1 (page 109): ex. 1, ex. 3, ex. 5, ex. 6, ex. 8 a,b,d, ex. 9, ex. 10, ex. 11.

Published Oct. 9, 2012 8:03 PM

The "oblig" (mandatory assignment) is now available. I have left some copies in my mailbox at the 7th floor (Room 700). The deadline is October 24.

Published Sep. 25, 2012 2:33 PM

I have started to lecture Chapter 2 of Leary's book. Exercises that might be solved in the weeks to come: 2.2.1 (page 55): ex. 1, ex. 4. 2.4.3 (page 62): ex. 4, ex. 5, ex. 6. 2.7.1 (page 76): ex. 4, ex. 5, ex. 6, ex. 7. 2.8.1 (page 81): ex. 2, ex. 4, ex. 5, ex. 6, ex. 7, ex. 8.

Published Sep. 12, 2012 4:23 PM

Next week I will do exercises from Chapter 1 (see below). Thereafter I will start to lecture Chapter 2 (probably in the second half of the Wednesday lecture).

Published Sep. 12, 2012 4:18 PM

Our student representative is Eilif Solberg. His email address is eilifsolberg@gmail.com .

Published Aug. 27, 2012 5:23 PM

The lecture Wednesday (August 29) is canced.

Published Aug. 27, 2012 5:23 PM

The next few weeks I will lecture the 1st chapter of Leary's book. The following exercises might be solved during the lectures: 1.3.1 (page 15): ex. 2, ex. 3. 1.4.1 (page 20): ex. 3, ex. 4, ex. 5. 1.6.1 (page 30): ex. 2, ex. 3, ex. 5. 1.7.1 (page 38): ex. 2, ex. 7. 1.8.1 (page 42): ex. 6. 1.9.1 (page 44): ex. 1, ex. 2, ex. 4.

Published Aug. 13, 2012 6:38 PM

Everyone should have a copy of "Leary: A friendly introduction to mathematical logic". The book is available in the book store (Akademia).

Published Aug. 13, 2012 6:34 PM

There will be no lecture Tuesday 21. The first lecture will take place Wednesday 22.