Messages

Published Nov. 18, 2014 5:29 PM

The final lecture is tomorrow, that is, Wednesday November 19.

The course curriculum: our book from the start until the middle of page 210, that is, until the end of the proof of Theorem 6.3.7 (and nothing else).

Published Nov. 18, 2014 5:15 PM

I will encourage you to work with the exercises in Chapter 8 of our book (except those in Section 8.6 which presuppose the material that is not on the curriculum). That will be a good way to prepare for the exam.

 

Published Nov. 18, 2014 5:06 PM

 

  • 2005 (Norwegian)
  • 2006 (Norwegian/English)
  • 2007 (English)
  • 2008 (English)
  • 2009 (English)
  • 2010 (English)
  •  2011 (English)

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, 2011, 2012 and 2013.

 

Published Nov. 18, 2014 5:03 PM

There have been some problems
regarding the registration of your mandatory assignments
in n the university's database (Delivery). Everything should be
fine know. Hopefully, I have now registered everyone which have
handed in the assignment. Please, check....

 

Published Nov. 12, 2014 4:48 PM


I have registered everyone that has handed in the mandatory assignment as qualified for the final exam in the University's database. (I have not registered that you have handed in an assignment.) So, please check if you are qualified for the exam December the 3rd.

 

Published Nov. 11, 2014 4:57 PM

All mandatory assignments are approved.

I have now registered your mandatory assignments in the university's database (Delivery). Each and one of you should check that you are correctly registered (and thus enrolled for the final exam).

Published Nov. 6, 2014 12:18 PM

I will solve the mandatory assignment next Tuesday (November 11).

 

Published Oct. 29, 2014 6:09 PM

The following exercises might be solved during next week's the lectures:

  • Section 4.2.1, page 128:  3
  • Section 4.5.1, page 134:  1
  • Section 5.2.1, page 141:  1
  • Section 5.3.1, page 151:  1, 2, 3, 7, 11, 12.
Published Oct. 29, 2014 6:06 PM

I have started to lecture Chapter 4 and 5. Next week I will continue to lecture these two chapters.

Published Oct. 14, 2014 5:07 PM

The following exercises might be solved during next week's lectures:

  • Section 3.2.1, page 101:  1, 2, 3, 4 and 8. (I have already solved  2, 3 and 4)
  • Section 3.3.2, page 109:  1, 3, 5, 6, 8, 9, 10 and 11.

 

Published Oct. 14, 2014 5:00 PM


If you like, you can hand in the mandatory assignment after (or before) one of the lectures in next week (the 21st or the 22nd). Give the assignment directly to me.

 

Published Oct. 14, 2014 4:54 PM


Tomorrow I will complete the proof of the Completeness Theorem and start to lecture Section 3.3.

Section 3.3 will be lectured thoroughly. Section 3.4 will be lectured more superficially.

 

Published Oct. 7, 2014 3:30 PM

I will hand out the mandatory assignment at tomorrow's lecture.
I will leave some copies in my pigeonhole (mail box) for those
of you that will not be there. My pigeonhole is in room B 700
(7th floor of Niels Henrik Abels hus).

 

Published Oct. 7, 2014 3:23 PM

Tomorrow I will start to lecture the 3rd chapter of our book.

Published Sep. 23, 2014 12:51 PM

There will probably be a course in  axiomatic set theory next spring (MAT 4640).

Published Sep. 16, 2014 5:02 PM

So far I have lectured the first four sections of Chapter 2. The next few weeks I will continue to lecture the 2nd chapter. The following exercises might be solved during the lectures:

  • Section 2.2.1, page 54:  1 and 4
  • Section 2.4.3, page 62:  4, 5 and 6
  • Section 2.7.1, page 76:  4, 5, 6 and 7
  • Section 2.8.1, page 81:  2, 4, 6, 7 and 8.

 

Published Sep. 10, 2014 3:18 PM

I hav now started to lecture the second chapter.

Published Aug. 20, 2014 5:35 PM

The next few weeks I will lecture the 1st chapter of our book. The following exercises might be solved during the lectures:

  • Section 1.3.1, page 15:  1, 2 and 3
  • Section 1.4.1, page 21:  3, 4 and 5
  • Section 1.5.1, page 25:  1 and 6
  • Section 1.6.1, page 32:  2, 3 and 5
  • Section 1.7.1, page 39:  2 (a)(b)(d), 4 and 7
  • Section 1.8.1, page 43:  4 and 6
  • Section 1.9.1, page 45:  1, 2 and 4.

 

Published Aug. 15, 2014 10:17 AM

 

You can load down the course textbook for free. Please, send me an email and I will send you the link.