Messages
IN5580: The official curriculum will be
- A Friendly Introduction to Mathematical Logic: Chapter 7
- Course Notes on Computable Analysis (see link below) with the exception of Chapter 4.
The oral exam will take place Friday the 9th of June.
Den er en link til den siste versjonen.
Her er en link til mine notater om bergenbar analyse:
Coursenotes on Computable Analysis
Med tanke p? eksamen b?r det holde ? forst? disse notatene. Berths bok kan brukes som st?ttelitteratur.
- Boken kan lastes ned her: L?rebok (beregnbar analyse)
- Nedenfor finner der mer informasjon om boken. Biblioteket kan ha et eksemplar eller to.
-
Tittel: Computable analysis
-
Forfatter: Aberth, Oliver
-
ISBN: 0070000794
Totalt antall sider: xi,187 s.
Utgivelses?r: c1980
Utgiver:mMcGraw-Hill
Utgivelsessted:New York
A small group (me and two students) has regular meetings (once a week). From now on, these meeting will not be announced at this webpage. If someone else wants to join us, please send me an e-mail.
We will meet Tuesday April 18, 14:15 at the 8th floor. (That I is what I can recall, please correct me if I am wrong.)
Our next meeting will take place Wednesday, April 12, 12:15. We will meet at the 8th floor in Ole Johan Dahls hus (outside the elevators). We will continue our discussion of Section 7.7.
Our next meeting will take place March 29, 1pm. We will meet at the 8th floor in Ole Johan Dahls hus (outside the elevators). We will discuss Section 7.7.
You find the link to the meeting below.
===============
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Mar 13, 2023 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/62976636052?pwd=a05YdVFhbzJjWUl4Z2ZTQWtaTWMwUT09
Meeting ID: 629 7663 6052
Passcode: 881357
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Mar 8, 2023 02:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/65830744388?pwd=eDd0azFvRGs1UU1Qdks0a0dzMTJndz09
Meeting ID: 658 3074 4388
Passcode: 805090
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,65830744388# Sweden
+46850500828,,65830744388# 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: 658 3074 4388
Password: 805090
Find your local number: https://uio.zoom.us/u/cd09nAVJvg
Join by SIP
65830744388@109.105.112....
- 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 Zoom meeting will take place Wednesday the 8th of March. The meeting will start 2.15pm unless somebody out there want another meeting time. Please inform me if you want me to start the meeting earlier or later that day. I decided the the time together with Mick, but both of can meet anytime on Wednesday the 8 (after noon).
A link to the meeting will be published Tuesday, March 7.
We will discuss Section 7.6 (Semi-computable and computably enumerable sets).
Our next meeting will take place Monday, February 27.
You find a link to the meeting below. We will discuss Section 7.4.
--------------------------------
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 27, 2023 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/62004580210?pwd=RVlYMlptLzNaQnVONW9PWjE5SjFGQT09
Meeting ID: 620 0458 0210
Passcode: 420189
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 20, 2023 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/64722230313?pwd=Z3ZpSTQwVmJKNlpQS1FKUzU4NmVTZz09
Meeting ID: 647 2223 0313
Passcode: 614319
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,64722230313# Sweden
+46844682488,,64722230313# 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 2223 0313
Password: 614319
Find your local number: https://uio.zoom.us/u/chUrudujA
Join by SIP
64722230313@109.105.112....
Our next (Zoom) meeting will take place February 20 (Monday), 12:15.
A link to the meeting will be published in due time at this website.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 6, 2023 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/68061496894?pwd=M0hRajFyZTVteU00blU3VVJBUFVIZz09
Meeting ID: 680 6149 6894
Passcode: 363998
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46844682488,,68061496894# Sweden
+46850500828,,68061496894# 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: 680 6149 6894
Password: 363998
Find your local number: https://uio.zoom.us/u/ce9MYU2g8
Join by SIP
68061496894@109.105.112.2...
Our next (Zoom) meeting will take place February 6 (Monday), 12:15.
A link to the meeting will be published in due time at this website.
Below you find the link to two lectures covering the material in the first three section of Chapter 7 of "A friendly introduction to mathematical logic". The lectures are given in Norwegian.
- /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr1.mp4
- /studier/emner/matnat/ifi/IN5580/v21/forelesningsvideoer/in5580nr2.mp4
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 our meeting Monday Januar 30 below.
Best wishes
Lars
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jan 30, 2023 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/69304259041?pwd=YlZuVE1ySkhWM0RubUdiL2cxSWhyUT09
Meeting ID: 693 0425 9041
Passcode: 447046
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,69304259041# Sweden
+46844682488,,69304259041# Sweden
Dial by your location
+46 8 5050 ...
Our first meeting will be a Zoom meeting. We will meet Monday January 30, 12:15 at Zoom. A link to the meeting will be published in due time at this website.
We will use this excellent book:
https://knightscholar.geneseo.edu/geneseo-authors/6/
I will assume that you all have read Section 7.2 when we meet January 30.
N5580 (IN9580) wil be given as a reading course the spring 2023.
There will be some 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