Messages - Page 2
Our next meeting (Zoom) will take place February 13 (Tuesday) 10:15. A link to the meeting will be published on this website in due time.
Our next meeting take place Tuesday 10:15. You find the link below.
We will discuss the exercises in Section 7.3 (primitive recursion). Maybe we also will start to discuss the material in Section 7.4.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jan 30, 2024 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/63437772204?pwd=UlBwSXN1bHFXeEdUNkVOeXczd3hnUT09
Meeting ID: 634 3777 2204
Passcode: 121350
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,63437772204# Sweden
+46850500828,,63437772204# 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: 634 3777 2204
Password: 121350
Find your local number: https://uio.zoom.us/u/cDnr3vrjO
Join by SIP
63437772204@109.105.112....
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 potentially laborious exercises, for those of you who wan...
You find the link to some recorder lectures below (they are all in Norwegian). The lectures were recorded during the corona crisis.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jan 23, 2024 03:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/65243477126?pwd=Ti9ZVzhQK3VFcE1tdklUd05EZFFXdz09
Meeting ID: 652 4347 7126
Passcode: 749143
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,65243477126# Sweden
+46850500828,,65243477126# 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: 652 4347 7126
Password: 749143
Find your local number: https://uio.zoom.us/u/celMjqYypy
Join by SIP
65243477126@109.105.112...
Our next meeting will be Tuesday 23, 3pm.
A link to the meeting will be published on this website in due time.
Read Section 7.1, 7.2 and as much as possible of Section 7.3.
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.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jan 16, 2024 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/64657135009?pwd=ZG0wd0hFZXQzSnZVc3ZhZ2lvZDRvQT09
Meeting ID: 646 5713 5009
Passcode: 041549
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,64657135009# Sweden
+46844682488,,64657135009# Sweden
Dial by your location
+46 8 5050 0828 Sweden
+46 8 4468 2488 Sweden
+45 32 71 31 57 Denmark
+45 32 ...
Our first meeting will take place January 16 (Tuesday) 10:15am. This will be a Zoom meeting. A link to the meeting will be published at this website in due time.
IN5580 (IN9580) wil be given as a reading course the spring 2024.
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