Messages

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