Timeplan, pensum og eksamensdato

Kort om emnet

Innf?ring i Zermelo-Fraenkels mengdel?re, konstruktible mengder, forcing.

Hva l?rer du?

Studenten skal bli kjent med aksiomatisk mengdel?re og med to sentrale metoder for ? vise at visse matematiske p?stander hverken lar seg bevise eller motbevise innen mengdel?ren.

Opptak og adgangsregulering

Studenter m? hvert semester s?ke og f? plass p? undervisningen og melde seg til eksamen i Studentweb.

Dersom du ikke allerede har studieplass ved UiO, kan du s?ke opptak til v?re studieprogrammer, eller s?ke om ? bli enkeltemnestudent.

Forkunnskaper

Anbefalte forkunnskaper

Overlappende emner

15 studiepoeng overlapp mot MAT9610 – Axiomatic set theory (nedlagt)

Emnet overlapper 15 studiepoeng mot det gamle emne MA 360.

* Vi gj?r oppmerksom p? at informasjon om overlapp mot gamle og nye emner ikke er fullstendig. Ta eventuelt kontakt med matematisk institutt.

Undervisning

4 timer forelesninger pr. uke i ett v?rsemester.

Eksamen

En obligatorisk oppgave m? best?s innen gitte frister for ? kunne g? opp til avsluttende eksamen.

Muntlig eksamen. Bokstavkarakter.

Regelverk for obligatoriske oppgaver ved matematisk institutt

Eksamensspr?k

Dersom emnet undervises p? engelsk vil det bare tilbys eksamensoppgavetekst p? engelsk.

Du kan besvare eksamen p? norsk, svensk, dansk eller engelsk.

Begrunnelse og klage

Adgang til ny eller utsatt eksamen

Dette emnet tilbyr kun utsatt eksamen i hht § 5.5.1 i Forskrift om studier og eksamener ved Universitetet i Oslo.
Dette betyr at studenter som dokumenterer gyldig frav?r fra eksamen innen gitte frister, vil kunne f? en utsatt eksamen.

Studenter som stryker eller trekker seg under ordin?r eksamen, f?r ikke mulighet til ? ta utsatt eksamen, men kan ta eksamen neste gang det gis ordin?r eksamen i emnet.

Generelle opplysninger om ny og utsatt eksamen

Mer informasjon om eksamen ved MN-fakultetet kan du lese p? fakultetets eksamenssider

Trekk fra eksamen

Det er mulig ? ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensfors?k.

Tilrettelagt eksamen

S?knadskjema, krav og frist for tilrettelagt eksamen.

Evaluering av emnet

Vi gjennomf?rer fortl?pende evaluering av emnet, og med jevne mellomrom ber vi studentene delta i en mer omfattende evaluering.

Annet

Evaluering av emnet

Tilbakemelding fra studentene v?re er avgj?rende for at vi skal kunne tilby best mulig emner og studieprogrammer. Som student ved UiO vil du derfor involveres i ulike typer evaluering av studiehverdagen din. Vi gjennomf?rer b?de fortl?pende evaluering av emner og programmer, og med jevne mellomrom ber vi studentene delta i en mer omfattende og detaljert evaluering av et bestemt emne eller program. Dette emnet evalueres v?ren 2006. Studentevalueringer er en del av kvalitetssikringen av utdanningsvirksomheten ved UiO /studier/om/kvalitet/

Fakta om emnet

Studiepoeng
15
Niv?
Master
Undervisning

Denne versjonen av emnet har g?tt for siste gang. Deler av det kan gjenfinnes i MAT4640 – Aksiomatisk mengdel?re og MAT9650 – Advanced Topics in Logic.

Eksamen
Undervisningsspr?k
Engelsk

Emnet undervises p? engelsk. Dersom ingen studenter har ?nsket emnet p? engelsk innen f?rste forelesning, kan emnets undervisning gis p? norsk.