Messages

Published Nov. 19, 2020 2:26 PM

Yet another correction is done in the solutions of the exam from 2019 (file: sol-exam19.pdf).

Published Nov. 18, 2020 6:51 PM

A corrected version of the solutions to the exam from 2019 is now available in the folder "solutions" (file: solu-exam19.pdf).

Published Nov. 18, 2020 2:20 PM

 

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
 

Published Nov. 17, 2020 6:58 PM

A solution to the exam from 2019 is now available (file sol-exam19.pdf in folder Solutions).

Published Nov. 12, 2020 7:42 PM

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.

Published Nov. 10, 2020 3:39 PM

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://

Published Nov. 10, 2020 3:35 PM

Tomorrow I will discuss the exercises in Section 8.3, 8.4 and 8.5.

Published Nov. 10, 2020 7:26 AM

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
 

Published Nov. 6, 2020 12:07 AM

Next  week's lectures will be  Zoom lectures. Links to the lectures will be published in a message at this web site.

Published Nov. 6, 2020 12:04 AM

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.

Published Nov. 3, 2020 3:13 AM

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.

Published Nov. 3, 2020 3:09 AM

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

Published Oct. 27, 2020 4:48 PM

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

Published Oct. 27, 2020 4:31 PM

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.

Published Oct. 27, 2020 4:25 PM

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.

Published Oct. 27, 2020 4:21 PM
  • 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.

Published Oct. 26, 2020 8:57 PM
There has been a little back and forth about the exams this semester due to the covid-19 situation, but it now seems that the Faculty will allow ordinary school exams in small math courses like MAT-INF 3600 where infection control is easy to maintain. A few things has to be noticed:
 
  •  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...
Published Oct. 20, 2020 7:47 PM

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

Published Oct. 13, 2020 8:01 PM

I recommend the following exercises:

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

Published Oct. 13, 2020 7:45 PM

I am still lecturing Chapter 3. Tomorrow (Wednesday) I will start to lecture Section 3.4.

Published Sep. 30, 2020 6:50 PM

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.

Published Sep. 30, 2020 6:42 PM

I have started to lecture Chapter 3. I am half-way through the proof of the Completeness Theorem.

Published Sep. 30, 2020 6:39 PM

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.

 

Published Sep. 29, 2020 6:19 PM

You find solutions of past exam in the folder "Data" (see the side menue).

Published Sep. 29, 2020 5:48 PM

Here is a an exercise for those who need an extra challenge:

Exercise

Solution of the exercise.