Dette emnet er nedlagt

Timeplan, pensum og eksamensdato

Velg semester

Kort om emnet

Innføring i modellteori og rekursjonsteori. Innholdet kan variere fra gang til gang.

Hva lærer du?

Studenten skal bli kjent med sammenhengen mellom enkelte formelle teorier og klassen av modeller til disse. Studenten skal videre bli kjent med rekursjonsteorien til de naturlige tallene, definert via primitiv rekursjon og my-operator.

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

Emnet overlapper 15 studiepoeng mot det gamle emne MA 380.

* 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

Muntlig eksamen.Bokstavkarakter

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

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 går ikke lenger. MAT9620 – Mathematical Logic II (nedlagt) vil videreføres.

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.