Messages

Published May 30, 2023 10:51 PM

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.

 

Published Apr. 25, 2023 1:41 PM

 

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.

 

Published Apr. 25, 2023 1:19 PM

 

  • 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


     
Published Apr. 19, 2023 11:44 AM

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.

Published Apr. 16, 2023 3:23 PM

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.)

Published Apr. 10, 2023 10:52 PM

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.

Published Mar. 13, 2023 1:32 PM

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.

Published Mar. 12, 2023 3:54 PM

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/

Published Mar. 7, 2023 3:07 PM

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....

Published Mar. 2, 2023 1:18 AM
  • 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.

 

Published Mar. 2, 2023 1:07 AM

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). 

 

Published Feb. 25, 2023 2:55 AM

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/

Published Feb. 19, 2023 8:56 PM

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....

Published Feb. 6, 2023 1:17 PM

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.

 

Published Feb. 5, 2023 6:47 PM

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...

Published Jan. 30, 2023 1:52 PM

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.

Published Jan. 30, 2023 1:45 PM

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. 

 

Published Jan. 30, 2023 1:40 PM

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...
Published Jan. 29, 2023 12:46 PM

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 ...

Published Jan. 15, 2023 11:17 PM

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.

 

 

Published Jan. 15, 2023 11:04 PM

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