Messages

• November 25 (Tuesday): We discuss the exercises in Chapter 8. To work with the exercises in Chapter 8 will be an excellent way to prepare for the final exam.
• November 26 (Wednesday): We will discuss the exams from 2022, 2023 and  2024. You find solutions of the exams from 2022 and 2023 at this website. A solution of the exam from 2024 will be handed out i class (and later published at this website).

Recommended exercises:

Section 4.2.1, page 107: 1, 3.

Section 5.2.1, page 119: 1, 2, 3.

Section 5.3.1, page 128: 1, 2, 3, 7, 11, 12

Some of these exercises might be solved in class in the foreseeable future.

I have started to lecture Chapter 4 and Chapter 5. We will move fast forward from now on. I will lecture what we need prove Theorem 6.3.6 at page 176-177. When we have proved the theorem, we are done. The curriculum ends at page 177.

I recommend the following exercises:

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

Tuesday 4th of November I will give a crash course on sets and cardinalities. There after I will start to lecture Section 3.4.

The crash course will provide you with the prerequisites necessary to understand the material i Section 3.4.

I have received assigments from

1. Sami Shafi
2. Salmon Rehman
3. Ana Pesic
4. Lars Musland
5. Milena Morath
6. Andrea Klubicka
7. Thobias Høvik
8. Halvard Hareide
9. Øystein Haga
10. Lars Bosh
11. Lars Aandesen
12. Erlend Hamberg
13. Pierre Levilion

All assigments are APPROVED.

Please inform me if  you are not on the list but think you should be.

If you want comments on your work, you have to show up at a lecture such that I can talk to you in the break or immediately after the lecture. If you cannot show show up at a lecture, you can make an appointment for a meeting (write me an e-mail). Zoom meetings will be possible for those of you not living reasonably close to Oslo.

... the lecture Wednesday the 29th of October is cancelled!!

No lecture that day.

Next week we will discuss the exercises in Section 3.3.1:

   ------- Section 3.3.1, page 93:  1,  3, 5, 6, 8, 9, 10 and 11. 

These are important exercises.

Thereafter I will give a crash course on Sets and Cardinalities, but that will  not happen until the week thereafter because  the lecture Wednesday 29 is canceled.

I recommend the following exercises:

• Section 3.2.1, page 86:  1, 2, 3, 4, 5 and 8.
• Section 3.3.1, page 93:  1,  3, 5, 6, 8, 9, 10 and 11.

Some of these exercises will be solved in class in the foreseeable future.

Tomorrow (Wednesday the 8th of October) I will start to lecture Chapter 3, and I will start to prove the Completeness Theorem.

Next week I will continue with the proof of the Completeness Theorem.

Next week we will continue with the proof of Lemma 2.8.4 (page 68). Therafter, we will discuss exercise 8 at page 71, and finally, exercise 4 at page 70.

I may also spend some time answering questions related to the madatory assignment (see below).

I will probably start to lecture Chapter 3 on Wednesday.

You are expected to submit the assignment (in Canvas) before October 17, 14:30.

The deadline will be automatically extended by one week for all you until October 24, 14:30, that is,  you do not have to apply for an extension until October 24.

You do not need to apply for yet another extension of the deadline. Such an application will not be granted. If you have not submitted the assignment before October 24, 14:30, you will not be enrolled for the final exam. 

You find the mandatory assignment here.

Next week will continue to discuss the material in Section 2.8.

We will also discuss exercises in 2.8.1 (see below).

Next week I will lecture the proofs of the Soundness Theorem and the Deduction Theorem. Thereafter we will discuss exercises (from Section 2.7.1, see below)

Ignore the previous message (which I for some reason cannot edit). What  I meant to write was:

The lecture Tuesday 16 will start with a crash course on propositional logic. The course is recommendable for everyone (even if those already familiar with with propositional logic).

The lecture Wendesday 17 will start with a crash course on propositional logic. The course is recommendable for everyone (even if those already familiar with with propositional logic).

I have started to lecture Chapter 2. Tomorrow (Wednesday) I will lecture Section 2.3 and 2.4.

I am more or less with lecturing from Chapter 1. Next week we will solve and discuss exercises (see below). 

....  not familiar with very elementary first-order logic should consult some textbooks on the subject. There will be a lot of them out there. Just pick a textbook that suits your own taste.

Recommended exercises from Chapter 1:

• Section 1.3.1, page 12:  1, 2 and 3
• Section 1.4.1, page 17:  3, 4 and 5
• Section 1.5.1, page 21:  1 and 6
• Section 1.6.1, page 26:  2, 3 and 5
• Section 1.7.1, page 32:  2 (a)(b)(d)

• Section 1.7.1 page 32: 7

• Section 1.9.1, page 38:  1, 2 and 4.

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