Messages

Published June 8, 2022 6:17 PM

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.

Published June 2, 2022 4:03 AM

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.

Published May 21, 2022 1:03 PM

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

Published May 20, 2022 5:04 PM

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.

 

Published May 20, 2022 4:02 PM

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.

Published May 20, 2022 3:55 PM

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.

 

Published Apr. 27, 2022 4:45 PM

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.

Published Apr. 14, 2022 5:39 AM

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

Published Apr. 14, 2022 5:33 AM

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

Published Apr. 14, 2022 5:21 AM

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

 

Published Mar. 30, 2022 10:48 PM

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

Published Mar. 22, 2022 7:50 PM
Published Mar. 22, 2022 7:36 PM
Published Mar. 22, 2022 7:30 PM

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

 

Published Mar. 22, 2022 7:18 PM

 

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.

Published Mar. 22, 2022 7:02 PM

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

Published Mar. 22, 2022 6:59 PM

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

Published Mar. 2, 2022 5:44 PM

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.

Published Mar. 1, 2022 12:14 PM

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

Published Feb. 23, 2022 1:10 PM

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

Published Feb. 23, 2022 12:45 PM

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.

Published Feb. 23, 2022 12:38 PM
  • 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.

 

Published Feb. 23, 2022 12:24 PM

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

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

Published Feb. 22, 2022 1:21 PM

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

 

Published Feb. 11, 2022 6:54 PM

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

Section 7.6 (lecture in Norwegian)