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/