Messages

We have started to discuss the exercises in Section 8.

Tomorrow and next week we will work with the exercises in Section  8.

Below you find a link to a solution of one of the hard problems from the exam in 2016.

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

I have completed the list of those who are qualified for the final exam.

Please check in Devilry that you are on the list if you should be on the list.

• Wednesday 22nd of November: We will discuss the exercises in Section 8.
• Thursday 23rd of November: We will discuss the exercises in Section 8.
• Wednesday 29th of November: We will solve the exam from 2015.

The last ordinary lecture take place November the 29th, but let us have a meeting Wednesday the 13th of December (in our ordinary room a quarter past four). I will not call it lecture, but you can ask questions and  we can discuss past exams.

The lecture was canceled today due to misunderstandings. But this was not too bad: We are ahead of the schedule, and the exam is very late this year (December 15). There will be lectures next week (the 8th and 9th of November). Then there will be a break: NO LECTURES THE 15th AND 16th OF NOVEMBER. Then we resume the lectures November 22. There will lectures the 22, 23, 29 .... and then we see.

• 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.

This week I have lectured Ch. 4 and Ch. 5 until Section 5.3.

I will talk a little bit more on the stuff in Section 5.3 next week. Then, I will lecture Section 5.4, 5.5 ..... an so on.

Next week I will start to lecture Chapter 4.

Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.

Wednesday 18 I will start to lecture Section 3.4 (page 94).

This week I have lectured the proof of the Completeness Theorem. Next week I will start to lecture Section 3.3 (Compactness).

I handed out the mandatory assignment today. Those of you who still need a copy should address me via e-mail.

I am done with Chapter 2. Next week I will lecture Chapter 3. I started to lecture Chapter 3 today (15 minutes).

 We have now two student representatives:

• Sonja Weiland, <sonja-weiland@web.de>
• Hana Barakzahi <hana.barakzahi@gmail.com>

Next week I will lecture Section 2.8. If we find time, we will discuss the following exercises in Section 2.8.1: 4, 5. 6, 7 and 8.

Here is a 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

I recommend the following exercises:

• Section 2.2.1, page 47:  1 and 4
• Section 2.4.3, page 54:  4, 5 and 6
• Section 2.7.1, page 65:  4, 5, 6 and 7
• Section 2.8.1, page 70:  2, 4, 6, 7 and 8.

Some of these exercises will be solved in class during the next few weeks.

I will start to lecture Chapter 2 tomorrow (Wednesday).

Important about mandatory assignments

From autumn 2017 all mandatory assignment must be uploaded to Devilry. 

• The assignment must be submitted as a single PDF file. 
• Scanned pages must be clearly legible. If these two requirements are not met, the assignment will not be assessed, but a new attempt may be given.
• The submission must contain your name, course and assignment number. 

Read the information about assignment carefully. http://www.uio.no/english/studies/examinations/compulsory-activities/mn-math-mandatory.html

I am nearly done lecturing Chapter 1. This week I will discuss some of the exercises in Chapter 1 (Wednesday), and then I will start to lecture Chapter 2 (Thursday).

We will use this textbook:

http://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/