Messages
P? oppfordring har jeg laget noen enkle ?vingsoppgaver. Dokumentet er lagt ut p? semestersiden. Det kan hende at dokumentet utvides under samme adresse, og da legges beskjed om dette ut her.
Teksten til den obligatoriske oppgaven gj?res tilgjengelig p? emnets semesterside etter forelesningen 11.10.2010.
Innleveringsfristen vil v?re 28.10.2010 klokken 14.30. Besvarelsen kan leveres i mottaket p? instituttkontoret eller direkte til foreleser.
28.10.2010 vil foreleser ha to gjester fra utlandet, og er ikke n?dvendigvis enkel ? f? tak p?.
Etter avtale med de studentene som var til stede, vil vi begynne ordin?re forelesninger rett etter at vi er ferdige med ? g? igjennom ukas oppgaver. Det betyr at det kan bli forelest nytt stoff f?r f?rste pause. Hvis det melder seg en registrert student som ?nsker en annen ordning, kan det diskuteres.
Frem til det eventuelt kommer en student som foretrekker engelsk, vil beskjeder, oppgaver og annet materiale komme p? norsk.
You may now find a link to the weekly exercises on the web-page of MAT4630. The first set is for August 30.
The deadline for the mandatory assignment will be Thursday October 28 at 14.30, and the problem set will be made available during October 14 at the latest.
The compendium is now available from the web-page of MAT4630
The default language will be English, but if everyone in the audience speaks Danish, Norwegian or Swedish, or prefer Norwegian to English, lectures will be given in Norwegian.
The lectures will for the most be based on Chapters 3 and 4 of the notes for the previous advanced course in logic, see the manuscript .
There will be some additional material on degree theory, e.g. tt-degrees and the construction of a model for weak K?nig's lemma but not arithmetic comprehension.
There will be a revised set of notes available before August 23.
Undervisningen i dette emnet er blitt flyttet fra onsdager. Ny tid publiseres under "tid og sted" senest f?rstkommende onsdag. (For readers of English only: Lectures are moved to Monday mornings.)