Dette emnet er nedlagt

Timeplan, pensum og eksamensdato

Velg semester

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

MAT-INF3600 – Matematisk logikk

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.