Messages
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).
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.
- 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.
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....
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.
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).
I will solve the mandatory assignment next Tuesday (November 11).
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.
I have started to lecture Chapter 4 and 5. Next week I will continue to lecture these two chapters.
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.
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.
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.
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).
Tomorrow I will start to lecture the 3rd chapter of our book.
There will probably be a course in axiomatic set theory next spring (MAT 4640).
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.
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.
You can load down the course textbook for free. Please, send me an email and I will send you the link.