Messages - Page 2
Our next meeting will take place Tuesday February 22, 4pm.
It is a good idea to read Section 7.6 before the meeting.
A link to the meeting will be published at this website in due time.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 8, 2022 05:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/63814402354?pwd=ZXJWbkErUVh1dUpBMlYyNnBWdUQyQT09
Meeting ID: 638 1440 2354
Passcode: 763738
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 9, 2022 05:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/64225291550?pwd=SEtMblg0cmtrcXJGbGFQcG1nMHllZz09
Meeting ID: 642 2529 1550
Passcode: 596227
Here is a recorded lecture (in Norwegian) where I give a talk on the stuff in Section 7.4:
Our next meeting will take place Tuesday, February 8, 5pm (kl. 17:00). It will be a Zoome meeting. A link to meeting will be published in due time at this web page.
It is a very good idea to read Section 7.4 before you attend the meeting.
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...
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 1, 2022 04:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/67772007548?pwd=SFIzbHNEYXJ2NGFqMFRBdDlIdk5KUT09
Meeting ID: 677 7200 7548
Passcode: 775831
The curriculum consists of two parts.
- Part I, Computability theory: Chapter 7 of a "A friendly introduction to mathematical logic".
- Part II, Computable analysis: Selected parts of Oliver Aberth's book "Computable analysis". You find the book here.
Our next meeting will take place
- 4PM TUESDAY FEBRUARY 1.
It will be a Zoom meeting. A link to the meeting will be pulished at this webpage in due time.
I would like to emphasise that IN5580 (IN9580) is given as READING COURSE the spring 2022. There will be no lectures, but there will be some informal meetings. The time and the place of our meetings will be decided as we go along, but until early March all of our meetings will be Zoom meetings.
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.
Below you find a link to the book "A friendly introduction to mathematical logic". You can download the pdf for free. You should read Section 7.1, 7.2 and 7.3 before our next meeting.
Here is the link: A friendly introduction to mathematical logic.
Beware that a new version of the 2nd edition of the book was published in 2019: 2nd Edition. Second Printing. Whit corrections and renumbered exercises.
If you read the version published in 2015 you might encounter some misprints.
Let us all meet 10:15am January 19 and make some plans for the term. Hopefully everyone who intend to follow the course will be able to join the meeting. We will use Zoom. Here is the link:
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jan 19, 2022 10:00 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/63313652724?pwd=VWxwRk9LcmpwWUVaeWIwUXErZ0MzZz09
Meeting ID: 633 1365 2724
Passcode: 402817
IN5580 (IN9580) wil be given as a reading course the spring 2022.
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