Messages
The final exam takes place in room Pascal, the 2nd floor, Ole Johan Dahls hus.
1. Paula Hermenau, the examination starts 13:00.
All other candidates should meet 13:45.
The final exam will take place Monday June 2. It will be an oral exam. Anyone that plan to meet should inform me (larsk@math.uio.no) as soon as possible. (Paula does not need to inform me)
Our next meeting will take place May 7, 12:15. We will meet by the elevators at the 8th floor of Ole Johan Dahls hus. We will discuss computable analysis.
Our next meeting will take place May 6, 12:15. We will meet by the elevators at the 8th floor of Ole Johan Dahls hus. We will discuss computable analysis.
This week is Easter holiday. Our next meeting will take place April 22, 12:15. We will meet by the elevators at the 8th floor of Ole Johan Dahls hus. We will discuss computable analysis.
The curriculum spring 2025 will be
- Chapter 7 in Leary and Kristiansen's book
- Chapter 1, 2 and 3 in these notes: Course Notes on Computable Analysis (June 1, 2024)
Anyone who wants to take part in our meetings (which normally take place at Tuesday 12.15) should send me an e-mail.
... will take place Tuesday the 25th of March 12:15. We will meet outside the elevators at the 8th floor of the Ole Johan Dahls hus.
... will take place Tuesday the 18th of March 12:15. We will meet outside the elevators at the 8th floor of the Ole Johan Dallas hus.
There will be no meeting the next week. Our next meeting will take place TUESDAY MACH 11, 12:15. This will be a real-life meeting. We will meet at the entrance to the canteen in the Computer Science Department (Ole Johan Dahl spiseri).
We will meet a quarter past 12 o'clock, and then go to some suitable room (be there on time; if you are late, you might not be able to find us).
We will continue to discuss Section 7.7.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 26, 2025 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/61205135476?pwd=bevnvblzX1uXRiyvdDgKyFDczDID8g.1
Meeting ID: 612 0513 5476
Passcode: 800475
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,61205135476# Sweden
+46850500828,,61205135476# Sweden
Dial by your location
+46 8 4468 2488 Sweden
+46 8 5050 0828 Sweden
+45 32 70 12 06 Denmark
+45 32 71 31 57 Denmark
Meeting ID: 612 0513 5476
Password: 800475
Find your local number: https://uio.zoom.us/u/cdzh8NzRCu
Join by SIP
61205135476@109.105.112...
Wednesday February 26 we will discuss Section 7.7 (Applications to First-Order Logic).
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 19, 2025 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/64767087737?pwd=exWNOusLnqXI05kkIeTX9K5eQkDlr3.1
Meeting ID: 647 6708 7737
Passcode: 218727
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,64767087737# Sweden
+46844682488,,64767087737# Sweden
Dial by your location
+46 8 5050 0828 Sweden
+46 8 4468 2488 Sweden
+45 32 71 31 57 Denmark
+45 32 70 12 06 Denmark
Meeting ID: 647 6708 7737
Password: 218727
Find your local number: https://uio.zoom.us/u/cZiA1T2bC
Join by SIP
64767087737@109.105.112....
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 12, 2025 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/64262909086?pwd=MxNvF7JEurGcNdG99WmrG0lSX73S0b.1
Meeting ID: 642 6290 9086
Passcode: 796175
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,64262909086# Sweden
+46850500828,,64262909086# Sweden
Dial by your location
+46 8 4468 2488 Sweden
+46 8 5050 0828 Sweden
+45 32 70 12 06 Denmark
+45 32 71 31 57 Denmark
Meeting ID: 642 6290 9086
Password: 796175
Find your local number: https://uio.zoom.us/u/cdni6XClJ
Join by SIP
64262909086@109.105.112....
In our next meeting we will discuss the material in Section 7.4 (this material is covered by recorded lecture III).
(We may also continue to discuss the material in Section 7.3 if there is a need.)
You find the link to some recorder lectures below (they are all in Norwegian, I am sorry). The lectures were recorded during the corona crisis.
All the exercises in the book are useful (in the sense that none of the exercises are totally irrelevant with respect to the exam). But there is a lot of exercises, and each and one of you might have specific needs and interests. Below I recommend a few exercises from three different categories.
- Category I (recommended exercises of medium/high degree of difficulty). Section 7.3.1, page 212: ex 4; Section 7.4.1, page 223: ex 3, ex 6, ex 8; Section 7.5.1, page 234: ex 3 (a) and (b); ex 4; ex 5.
- Category II (easy exercises which each and one of should convince yourself that you are able to solve). Section 7.3.1, page 212: ex 1, ex 2, ex 3 (a), ex 5 (a); Section 7.4.1 page 223: ex 1, ex 2.
- Category III (interesting, but po...
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 5, 2025 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/62416777592?pwd=hGqgkEIbpFo7IaexHg9NlkQZGpW9Zb.1
Meeting ID: 624 1677 7592
Passcode: 080782
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,62416777592# Sweden
+46850500828,,62416777592# Sweden
Dial by your location
+46 8 4468 2488 Sweden
+46 8 5050 0828 Sweden
+45 32 70 12 06 Denmark
+45 32 71 31 57 Denmark
Meeting ID: 624 1677 7592
Password: 080782
Find your local number: https://uio.zoom.us/u/cewJSxAo8O
Join by SIP
62416777592@109.105.112....
Our next meeting will Wednesday January 29, 10:15.
You find a link to the meeting below.
We will discuss the material in Section 7.2 and Section 7.3.
----------------------------
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jan 29, 2025 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/61131666216?pwd=0kiSUNHTHArw2TeiiX5bLkMxbZI9eS.1
Meeting ID: 611 3166 6216
Passcode: 820738
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,61131666216# Sweden
+46850500828,,61131666216# Sweden
Dial by your location
+46 8 4468 2488 Sweden
+46 8 5050 0828 Sweden
&nbs...
Below you find a link to our meeting Wednesday 10:15am.
-----------------------------
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jan 22, 2025 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/65690600067?pwd=V0B0NIlIaOBjlhXwOP5v9rSIFmHmRm.1
Meeting ID: 656 9060 0067
Passcode: 784042
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,65690600067# Sweden
+46844682488,,65690600067# Sweden
Dial by your location
+46 8 5050 0828 Sweden
+46 8 4468 2488 Sweden
+45 32 71 31 57 Denmark
+45 32 70 12 06 Denmark
Meeting ID: 656 9060 0067...
The first half of the course is covered by Chapter 7 of the textbook
Friendly Introduction to Mathematical Logic (you can download the book for free).
The second half of the course will be on computable analysis.
Our first meeting will take place January 22 (Wednesday) 10:15am. This will be a Zoom meeting. A link to the meeting will be published at this website in due time. (This will of course be an important meeting.)
IN5580 (IN9580) wil be given as a reading course the spring 2025.
There will be discussions groups (some of them Zoom meetings) and some classes, but there will be no regular lectures.
There will be an oral exam in late May (early June).
If you have any enquiries, please send me an e-mail.
Best Wishes
Lars