Messages
Bare s? alt skal v?re helt klart .... Vi f?lger den timeplanen vi allerede har satt opp. Det blir ingen forandringer. Alts? .....
Eksamineringen vil foreg? i seminarrom Java (2. etg) fredag den 7. juni.
Her er en forel?pig timeplan (s? dette kan forandres):
- 11:15 Matheus Grande-Margenfeld
- 12:00 Erik Snilsberg
- 13:00 Noah Oldfield
- 13:45 Ane Maria D?hl (IFIKK, spesialpensum)
- 14:30 Alle andre m?ter ..... (jeg forventer at det er 0 kandidater i denne gruppen)......
Kandidatene b?r befinne seg i n?rheten av inngangen til seminarrommet ca. 15 minutter f?r de skal eksamineres.
.... nok en gang har jeg rettet noen mer eller mindre ubetydelige skrivefeil, men denne gangen har jeg ogs? rettet om en essensiell feil i Eksempel 1.11. Jeg har ogs? laget et l?sningsforslag til Exercise 5 i seksjon 1.4.
Eksamineringen vil foreg? i seminarrom Java (2. etg) fredag den 7. juni.
Her er en forel?pig timeplan (s? dette kan forandres):
- 11:15 Matheus Grande-Margenfeld
- 12:00 Erik Snilsberg
- 13:00 Noah Oldfield
- 13:45 Ane Maria D?hl (IFIKK, spesialpensum)
- 14:30 Alle andre m?ter ..... (jeg forventer at det er 0 kandidater i denne gruppen)......
Kandidatene b?r befinne seg i n?rheten av inngangen til seminarrommet ca. 15 minutter f?r de skal eksamineres.
Link:
Course Notes on Computable Analysis
Jeg har rettet opp noen sm?ting og pusset litt p? det hele ....
Pensum som kandidatene skal eksamineres i blir
- kap 7 (Computability Theory) i Leary & Kristiansens bok
- kompendiet "Course Notes on Computable Analysis", hele kompendiet med unntak av kap 4.
Eksamen finner sted fredag 7. juni i seminarrom Java (2. etg. OJDs hus). Hvis det er andre enn Ane Maria, Noah og Erik som skal opp til eksamen, s? b?r de snarest sende en mail til meg.
V?rt siste m?te f?r eksamen finner sted i 8. etg. av Ole Johan Dahls hus onsdag 22. mai kl. 16:15.
Vi m?tes i morgen (onsdag 8. mai) kl. 16:15.
Vi snakker om stoffet i kapittel 3 i "Course notes on computable analysis".
We will meet April 24.
We meet in the usual room at the usual time (Wednesday, 4pm, 8th floor, Ole Johan Dahls hus).
We will meet April 17.
We meet in the usual room at the usual time (Wednesday, 4pm, 8th floor, Ole Johan Dahls hus).
The first meeting after Easter will take place April 10. We meet in the usual room at the usual time (Wednesday, 4pm, 8th floor, Ole Johan Dahls hus). So no meeting April 3.
We will meet (Wednesday) March 20, 8th floor, Ole Johan Dahls hus. We will discuss the material in Section 7.7 and 7.8.
After easter we will turn to computable analysis.
We meet 16:15 today (see message below, I forgot to tell you the time).
Here is a link to a book on computable analysis:
Some of you might find this book useful (and it is hard to get hold of a copy, but I think the library might have one or two copies).
After Easter we will start to study computable analysis. The curriculum will be taken from these notes:
Course Notes on Computable Analysis
We will meet Wednesday March 13 at the 8th floor of Ole Johan Dahl's hus. We meet outside the elevators (the doors will be locked and I have a card key).
We will discuss the material in Section 7.7.
We will meet March 5 (Tuesday) 16:15 at the 8th floor in Ole Johan Dahls hus outside the elevators. We will probably find a free room at the 8th floor. Please, be on time as doors will locked (I have a card key).
We will discuss the exercises in Section 7.6.1, and maybe Section 7.7.
We will at Zoom February 27, 10:15 am. We will discuss Section 7.6 (unless you have questions related to the preceding sections). You find a link to the meeting below.
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 27, 2024 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/66126772689?pwd=YkdJK3hwU2RBOUpFbXdOZVRjYk0wQT09
Meeting ID: 661 2677 2689
Passcode: 847711
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,66126772689# Sweden
+46844682488,,66126772689# 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: 661 2677 2689
Password: 847711
Find your local number: https://uio.zoom.us/u/ccPY3sHUNH
Join by SIP
66126772689@109.105.112...
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 20, 2024 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/68323072939?pwd=S243MktVY0puQlBzQkJITXZ4cGpOZz09
Meeting ID: 683 2307 2939
Passcode: 129727
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,68323072939# Sweden
+46844682488,,68323072939# 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: 683 2307 2939
Password: 129727
Find your local number: https://uio.zoom.us/u/cdFiw6W8J0
Join by SIP
68323072939@109.105.112...
Our next meeting will take place February 20 (Tuesday) 10:15.
We will discuss the S-m-n Theorem (Theorem 7.4.9). We may also discuss Section 7.5 (the proof of Kleene Normal Form Theorem).
We may discuss the exercises in Sec. 7.4.1 and 7.5.1.
If time permits, I will tell you a little bit about what you will find in Section 7.6. A link to the meeting will very soon be published at this website.
We will discuss the material in Section 7.4 (or anything else you want to discuss).
============================
Lars Kristiansen is inviting you to a scheduled Zoom meeting.
Topic: Lars Kristiansen's Zoom Meeting
Time: Feb 13, 2024 10:15 AM Copenhagen
Join Zoom Meeting
https://uio.zoom.us/j/64136497497?pwd=QTJYZVNxZFRXU3h4M1JwRld6WlFFZz09
Meeting ID: 641 3649 7497
Passcode: 320562
Documentation on how to use Zoom can be found here:
/english/services/it/phone-chat-videoconf/zoom/
One tap mobile
+46850500828,,64136497497# Sweden
+46844682488,,64136497497# 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: 641 3649 7497...