Messages
Her is a link to the book
Beginning Mathematical Logic: A Study Guide .
You can download the book for free. I recommend the book (in particular to those of you who want to learn mathematical logic on your own).
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Jun 3, 2021 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/62796938237?pwd=NWduV0NTd2hZRGxqcVlJdUpwRVEyQT09
Meeting ID: 627 9693 8237
Passcode: 248723
En oppdatert versjon av notatene (kompendiumet) er tilgjenglig.
Kapittel 6 (No-Heine-Borel) er n? i rimelig god stand.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: May 27, 2021 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/65030021448?pwd=OU1CVXgyM0NEQ2hZLzFlM0M2Z2t0Zz09
Meeting ID: 650 3002 1448
Passcode: 541671
Vi tar et kort m?te i morgen (torsdag 27. mai). S? tar vi ett m?te til f?r eksamen (eller to derom det er behov). Eksamen m? finne sted f?r 18. juni, men utover det st?r vi rimelig fritt til ? velge tidspunkt. Det vil ikke bli laget flere forelesningsvideoer. Det eneste viktige temaet det ikke er forelest om, er "No-Heine-Borel" (seksjon 13.2 i Aberth). Dette er ganske greit stoff som egner seg for selvstudier. Dessuten kan vi selvsagt diskutere "No-Heine-Borel" p? de kommende m?tene.
Det kommer snart en ny versjon av notatene (kompendiet) der kapittelet om "No-Heine-Borel" er oppdatert.
Det offisielle pensum v?re 2021 er
- Kapittel 7 av "A Friendly Introduction to Mathematical Logic"
- fra starten av boken t.o.m. seksjon 7.2, pluss seksjon 13.2, av "Aberth: Computable Analysis".
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: May 20, 2021 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/62033462716?pwd=UVU2N0RUK2JMTHp3TzdlSTJrVjFkZz09
Meeting ID: 620 3346 2716
Passcode: 273736
N? er andre del av den fjerde forelesningen om beregnbar analyse lagt ut.
Del 2 av den fjerde digitale forelseningen om beregnbar analyse kommer meget snart. Det er ferdig, men jeg har tekniske problemer med ? legge den ut p? kursidene (noe er galt).
Her er en ny versjon av notatene (kompendium).
Kap. 5 er nytt, og det er i rimelig god stand.
Det blir ikke Zoom-m?te denne uken. En oppdatering av notatene (kompendium) samt en ny forelesningsvideo kommer snart.
Her er en ny versjon
av notatene om beregnbar analyse. Kap. 4 om Specker sekvenser burde n? v?re i en rimelig god forfatning. .... men det er sikker mange skirvefeil og gale labler og slikt i kompendiet. Jeg oppfordrer alle leser til ? jakte p? feil og un?yaktigheter, ..............
Under finner dere en link til morgendagens Zoom-m?te. En ny digital forelesning publiseres i l?pet av dagen.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: May 6, 2021 12:00 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/62605028563?pwd=THNOVFFPTmVWeWZQWnM5a3Y0Q1lnUT09
Meeting ID: 626 0502 8563
Passcode: 313340
Merk tiden.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Apr 22, 2021 12:30 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/69285347976?pwd=MndsNjZiOEdkM3dobEV1cDMzMDR4dz09
Meeting ID: 692 8534 7976
Passcode: 626758
Del 2 av den andre digitale forelesningen om beregnbar analyse er lagt ut.
Den nyeste versjonen finner dere her.
Merk tiden!
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Apr 15, 2021 12:30 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/63460790384?pwd=R3ZpdmpUVmJ0UitvdVI2eGovRHRYZz09
Meeting ID: 634 6079 0384
Passcode: 856342
Her finner dere en ny versjon av notater (kompedium) om begernbar analyse.
En ny digital forelesning (del 1) er lagt. Del 2 av forelesningen kommer forh?pentligvis ganske snart.
Her finner dere noen notater (kompendium) om beregnbar analyse:
Notatene er under utarbeidelse, og de er langt fra perfekte.
Forh?pentligvis blir notatene oppdatert flere ganger f?r semesteret er over. Noen (kanskje de fleste) av forelesningene vil v?re basert p? disse notatene.
Merk tiden!
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Apr 8, 2021 12:30 PM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/62857119014?pwd=THQ2NWpWbkxHUFc0SW85VFRraVZkZz09
Meeting ID: 628 5711 9014
Passcode: 641979
En ny digital forelesning (den f?rste forelesningen om beregnbar analyse) er lagt ut.
Her er et l?sningsforslag til den frivillige obligen. Hvis dere vil, kan vi diskutere l?sningsforslaget p? m?tet i morgen (skriv det ut f?r m?tet?).