Messages
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