MAT4620 – Matematisk logikk II
Beskrivelse av emnet
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.
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/