Messages
- November 21, Tuesday: We discuss the exercises in Chapther 8. There is nothing but exercises in Chapter 8. Working on these exercises is a good way to prepare for the final exam.
- Nowember 22, Wednesday: We will discuss the exam from 2022. I will provide a written solution and hand it out in class. (I will of course also publish the solutions at this website, but not until after the class.)
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 recommend the following exercises:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
The lecture November 7 (Tuesday) is cancelled.
I will lecture section 3.4. We will also discuss the mandatory assignment. Finally, if more time will be available, I will start to lecture Chapter 4 ane 5.
I am sorry for the technical problems in Canvas. So far I have received submissions from
- Adam K. Jørstad
- Felix Brodbeck
- Max J. W. Schuringa
- Juliana Rack
- Jens L. Nergård
- Vanesssa M. Garbor
- Harald Ivarsen
- Fritiof N. O. Bjerner
I hope the list is complete. If it is not, please inform me as soon as possible.
Because there was some issues with the delivery folder in Canvas for the mandatory assignment in MAT-INF3600, it has been decided that it will be possible to hand it in within Monday 14:30. We have created a new delivery folder for this named "Mandatory assignment 1": https://uio.instructure.com/courses/46881/assignments/94602
- The Student Administration
The deadline is tomorrow. I was recently informed that Canvas does not allow you to load up pdf-files. I am working on the problem. If you encounter that problem tomorrow, please just register in the database, write in the text window that you cannot upload your files, and e-mail me your pdf-files.
We will continue to discuss the exercises in Chapter 3 (see below).
Thereafter, I will give a crash course on "sets and cardinalities". This course is meant to provide useful background material for Section 3.4. Before I give the course, we will discuss exercise 4 (page 70) in Section 2.8.1.
Thereafter, I will start to lecture Section 3.4.
Here is a an exercise for those of you who need an extra challenge:
I will publish a solution in a week or two. (If you like, you can hand in a solution of this exercise together with you mandatory assignment.)
I recommend the following exercises:
- Section 3.2.1, page 86: 1, 2, 3, 4, 5 and 8.
- Section 3.3.1, page 92: 1, 3, 5, 6, 8, 9, 10 and 11.
Some of these exercises will be solved in class in the foreseeable future.
I am done with Section 3.2. Tuesday I will start to lecture Section 3.3.
Tomorrow I will hand out the mandatory assignment (if you are not there, plese send me an e-mail).
We will continue to discuss the material in Section 2.8 (including the exercises at the end of the section).
Next week I will start to lecture Section 3.
Tomorrow (and perhaps also Wednesday) we will discuss the material in Section 2.8 including the first-order theory N (which will be very important us later). Thereafter I will start to lecture Chapter 3.
Can the person who was elected as the student representative today, please send me an email. I need the email address of the representative.
Next week we will discuss exercises (see below). I will (strongly) encourage you to work with the exercises before we discuss them in class.
I recommend the following exercises:
- Section 2.2.1, page 47: 1 and 4
- Section 2.4.3, page 54: 3, 4, 5 and 6
- Section 2.7.1, page 65: 1, 4, 5, 6 and 7
- Section 2.8.1, page 70: 2, 4, 5, 6, 7 and 8.
Some of these exercises will be solved in class during the next few weeks.
I have started to lecture Chapter 2. Next week I will continue to lecture Chapter 2.
I will start off next week with a chash course on propsitional logic.
The course is highly recommendable, particularily for those who are not very familiar with propsitional logic already.
After the course, we will continue to study the infrecen rule (PC).
We are done with Chapter 1. Tomorrow (Tuesday) we will solve exercises (see below). Wednesday I will start to lecture Chapter 2 (maybe I will talk a little bit about Chapter2 already tomorrow).
Section 1.9.1, page 38: 1, 2 and 4.
Section 1.7.1 page 32: 7
There will be no lecture next Tuesday (August 29) due to a PhD defence.
The candidate has written a thesis in mathematical logic, and you are all welcome to attend the disputation. Please, see Disputation: Juvenal Murwanashyaka.
Note that the trial lecture starts 10:15 (and the defence of the thesis starts after lunch).