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

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