Messages

The oral exam will be in seminarrom Shell (1456), June 13.

We will try to stick to the following schedule:

12:00.   Eirik E. Aung
12:45.   Lazar Davidovic
13:30.   Pietro Pizzorni

(Break)

14:45.   Hagen Echzell
15:30.   Roxana Pop
16:15.   Johan S. Wind
 

I suggest that you are available close to the room at least 15 minutes before it is your time.

The date for the exam will be June 13 (Monday).

If someone else than the six of you that were present at our last meeting intend to show up for the exam, please inform me as soon as possible.

I will soon publish a schedule for the exam.

The date for our next meeting is May 24 (Tuesday).

IN9580: The official curriculum will be

• A Friendly Introduction to Mathematical Logic: Chapter 7
• Aberth, Computable Analysis: from starten of the book to, and including, Section 7.2.
• Aberth, Computable Analysis: Section 13.2 (No Heine-Borel).

IN5580: As above, but you can skip Chapter 6 of Aberth's book (the chapter is recommended  reading, though).

It should be sufficient  to read my course notes on computable analysis  and just use Aberth's book in case you need help to understand my notes.

Our next, and probably final, meeting will take place Tuesday, May 23, 4pm, 8th floor, Ole Johan Dahls hus. We will discuss the material in Section 5.2-5.4 of the course notes.

Here is a a new version of the coursenotes on computable analysis.

I have

• added a solution of exercise 5.5#1
• added a new exercise with a solution (5.5#3)
• given a more detailed proof of Lemma 5.4
• corrected a number of minor misprints.

We will again Tuesday, May 10, 4pm, 8th floor, Ole Johan Dahls hus. First we will discuss Chapter 6 in the course notes (No Heine-Borel). Thereafter we will start to discuss Section 7.

We will meet Tuesday, April 19th, 4pm on the 8th floor of Ole Johan Dahls hus (the usual time and place).

Below you find links to some lectures on computable analysis. The lectures are based on the coursenotes (but they are all in Norwegian). 

• Beregnbar analyse nr. 1
• Beregnbar analyse nr. 2-del1
• Bergnbar analyse nr. 2-del2
• Beregnbar analyse nr. 3
• Beregnbar ...

Here is a a new version of the coursenotes on computable analysis.

I have added a few fairly easy exercises (with solutions). Besides, I have corrected some misprints (but I might very well have introduced a few new ones).

We will meet  Tuesday 4pm (April 5) in our usual room.

Here is a link to a couple of lectures which cover the material in Section 7.8:

• /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr7.mp4
• /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr8.mp4

Here is a link to a couple of lectures which cover the material in Section 7.8:

• /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr7.mp4
• /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr8.mp4

Here is a link to some exercises:  Assignment.

If you like, you can hand in your solution of the assignment (and I will give you my comments).

Here is a link to some course notes on computable analysis:

Course Notes, Computable Analysis

I will give some lectures during the spring which will be based on these notes.

Her is a link to the book

Beginning Mathematical Logic: A Study Guide .

I tried to publish this link a few weeks ago, but something went wrong. 

You can download the book for free. I recommend the book (in particular to those of you who want to learn mathematical logic on your own).

Just for the record: We had a meeting today (Tuesday, March 22). Our next meeting will  next Tuesday, same time, same place (8th floor, OJD hus, 4pm). We may start to discuss computable analysis next week (unless you ask a lot questions on the material in L&K).

We will meet March 15 at the 8th floor (by the elevators) in the Informatics  Department (Ole Johan Dahls hus). We will continue  our discussion of the material in Section 7.7.

Here is a link to our Zoom meeting later today:

Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Mar 1, 2022 04:00 PM Copenhagen

Join Zoom Meeting
https://uio.zoom.us/j/69206483803?pwd=Y0pBakxTNFBuSkordGVNMEtjOGJYZz09

Meeting ID: 692 0648 3803
Passcode: 943845

Here is the links to two lectures (in Norwegian) where I talk on the material in Section 7.7:

• /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr5.mp4
• /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr6.mp4

We will start to discuss the material in Section 7.7 at our next meeting, and in particular, we discuss what you need to know about first-order logic. If you are not familiar with first-order logic already, it might be good idea to read Chapter 4 and see how much you of of of the chapter you can understand.

• Category I. ISection 7.6.1: ex 8, ex 9.
• Category II. Seksjon 7.6.1: ex 1, ex 2, ex 3, ex 4, ex 5, ex 6, ex 7.
• Category III: Section 7.6.1: ex 10, ex 11.

You find an explanation of the categories below.

Our next meeting will take place Tuesday February 29, 4pm.

A link to the meeting will be published at this webpage in due time.

Here is a link to our meeting later today:

Lars Kristiansen is inviting you to a scheduled Zoom meeting.

Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 22, 2022 04:00 PM Copenhagen

Join Zoom Meeting
https://uio.zoom.us/j/65110719292?pwd=VEtPK0dOWU1CU1llbjV4cldoK3FVUT09

Meeting ID: 651 1071 9292
Passcode: 760777

Here is a link to a lecture where I discuss  the material in Section 7.6:

Section 7.6 (lecture in Norwegian)