Messages
Yet another correction is done in the solutions of the exam from 2019 (file: sol-exam19.pdf).
A corrected version of the solutions to the exam from 2019 is now available in the folder "solutions" (file: solu-exam19.pdf).
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Nov 18, 2020 04:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/8797312504
Meeting ID: 879 731 2504
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+4532701206,,8797312504# Denmark
+4532713157,,8797312504# Denmark
Dial by your location
+45 32 70 12 06 Denmark
+45 32 71 31 57 Denmark
Meeting ID: 879 731 2504
Find your local number: https://uio.zoom.us/u/ci8ck31OH
Join by SIP
8797312504@109.105.112.236
8797312504@109.105.112.235
Join by H.323
109.105.112.236
109.105.112.235
Meeting ID: 879 731 2504
A solution to the exam from 2019 is now available (file sol-exam19.pdf in folder Solutions).
The next and final lecture will take place Wednesday 18 (no lecture Tuesday 17. It will be a zoom lecture. We will discuss the exam from 2019.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Nov 11, 2020 04:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/8797312504
Meeting ID: 879 731 2504
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+4532701206,,8797312504# Denmark
+4532713157,,8797312504# Denmark
Dial by your location
+45 32 70 12 06 Denmark
+45 32 71 31 57 Denmark
Meeting ID: 879 731 2504
Find your local number: https://
Tomorrow I will discuss the exercises in Section 8.3, 8.4 and 8.5.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Nov 10, 2020 02:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/8797312504
Meeting ID: 879 731 2504
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+4532701206,,8797312504# Denmark
+4532713157,,8797312504# Denmark
Dial by your location
+45 32 70 12 06 Denmark
+45 32 71 31 57 Denmark
Meeting ID: 879 731 2504
Find your local number: https://uio.zoom.us/u/ci8ck31OH
Join by SIP
8797312504@109.105.112.236
8797312504@109.105.112.235
Join by H.323
109.105.112.236
109.105.112.235
Meeting ID: 879 731 2504
Next week's lectures will be Zoom lectures. Links to the lectures will be published in a message at this web site.
Next week we will do exercises. First we will discuss some of the exercises in Section 5:
- Section 5.2.1, page 119: 1, 2, 3.
- Section 5.3.1, page 128: 1, 2, 3, 7, 11, 12
Thereafter we will start to do discuss the exercises in Chapter 8. All the exercises in Chapter 8, except those in Section 8.6, are important with respect to the exam.
There will no lecture Tuesday (November 3). The next lecture which take place Wednesday (November 4) 4.15pm, will be a Zoom lecture. You find a link to the lecture below.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Nov 4, 2020 04:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/8797312504
Meeting ID: 879 731 2504
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+4532701206,,8797312504# Denmark
+4532713157,,8797312504# Denmark
I have approved all the mandatory assignments, and everyone who have submitted the assignment should be enrolled for the final exam. Please, check that nothing has gone wrong and that you indeed are enrolled.
(All feedback and comments on the assignments are given orally. Please send me an e-mail and make a Zoom-appointment if you would like me to comment on your work.)
The lecture tomorrow (Wednesday 28) will be the last lecture that takes place in our auditorium. The rest of the lectures will be arranged as Zoom-meetings. Links to the meetings will be published at this website.
Tomorrow (Wednesday 28) I will complete the proof of the first incompleteness theorem (Theorem 6.3.6, page 176). I will also give you my solution of the mandatory assignment.
- 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.
- If a student at the day of exam has any symptoms which prevents her/him to attend the exam, or is in quarantine, she/he should inform the University as described in (/english/studies/examinations/illness-postponed/index.html).
- Only self-notification is required.
- Even if the University of Oslo normally offers the possibility of special examination arrangements, due to significant disadvantage in an examination situation, including risk or fear of being infected by the Covid-19 disease, this will NOT be a...
I have started to lecture Chapter 4 and 5. I am nearly done with Chapther 4, and I will continue with Chapter 5 tomorrow (Wednesday 21).
I recommend the following exercises:
Section 3.4.1, page 101: ex. 2, ex. 3 and ex. 6.
I am still lecturing Chapter 3. Tomorrow (Wednesday) I will start to lecture Section 3.4.
I recommend the following exercises:
- Section 3.2.1, page 86: 1, 2, 3, 4 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 have started to lecture Chapter 3. I am half-way through the proof of the Completeness Theorem.
The mandatory assignment was handed out in class today. Please send me an e-mail if you were not present and want a copy of the assignment.
The deadline for submission of the assignment is October 15.
You find solutions of past exam in the folder "Data" (see the side menue).