• Studier
• Emner
• Matematikk og naturvitenskap
• Matematikk, mekanikk og statistikk
  • MAT4630

MAT4630 - Beregnbarhetsteori

Kort om emnet

Innføring i klassisk beregnbarhetsteori med vekt på relativ beregnbarhet, grader av uavgjørbarhet og på anvendelser innen beregnbar analyse og teoretisk informatikk.

Hva lærer du?

Med utgangspunkt i de primitivt rekursive funksjonene og µ-operatoren innføres de beregnbare funksjonene og relasjonene over de naturlige tallene. Grunnleggende resultater vedrørende de partielle beregnbare funksjonene og de beregnbare og semiberegnbare mengdene blir vist.
Deretter ser man på forskjellige klassiske tilnærminger til gradering av de ikke-beregnbare funksjonene og mengdene. Avslutningsvis vil man se på hvordan den klassiske beregnbarhetsteorien brukes til å studere beregnbarhetsfenomener i analyse og topologi, og på hvordan alternative tilnærminger til beregnbarhet har anvendelser innen teoretisk informatikk.

Opptak og adgangsregulering

Studenter må hvert semester søke 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.

Det er ikke mulig å ta dette emnet som privatist. Du må ha plass på undervisningen for å ta eksamen.

Forkunnskaper

Anbefalte forkunnskaper

Ingen spesielle forkunnskaper anbefales.

Overlapping

5 studiepoeng mot MAT4620 - Matematisk logikk II. 5 studiepoeng mot MAT9620 - Mathematical Logic II.

5 studiepoeng mot MA380.

* Vi gjør oppmerksom på at informasjon om overlapp mot gamle og nye emner ikke er fullstendig. Ta eventuelt kontakt med matematisk institutt.

Undervisning

3 timer pr uke i ett semester.

Vurdering og eksamen

Alle skal ha godkjent en skriftlig obligatorisk oppgave. Avsluttende muntlig eksamen ved semesterslutt som teller 100% ved karakterfastsettelsen.

Regelverk for obligatoriske oppgaver ved Matematisk institutt

Hjelpemidler

Ingen hjelpemidler er tillatt.

Eksamensspråk

Studenter kan, på emner som undervises på norsk, be om eksamensoppgaven på bokmål, nynorsk og engelsk. Frist for å registrere ønsket eksamensspråk er 1. september for høstsemestre og 1. februar for vårsemestre. Vi henviser til nettsidene til Det matematisk- naturvitenskaplige fakultet for fremgangsmåte

Dersom emnet undervises på engelsk vil det bare tilby eksamensoppgavetekst på engelsk.

Denne ordningen gjelder også for emner hvor vurderingsform er avhengig av antall studenter og skriftlig eksamen velges av foreleser.

Sensur

Emnet bruker gradert bokstavkarakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen .

Begrunnelse og klage

En student kan klage på karakterfastsettingen og/eller formelle feil ved eksamen

Adgang til utsatt eller ny eksamen/vurdering

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 og antall eksamensforsøk

En student kan fremstille seg til eksamen i dette emnet inntil tre ganger. Studenten anses å ha fremstilt seg til eksamen dersom hun/han ikke har trukket eksamensmeldingen sin i StudentWeb innen en gitt frist.

Tilrettelagt eksamen/vurdering

En student som har en funksjonshemning og/eller kroniske eller akutte helseproblemer som fører til vesentlige ulemper i eksamenssituasjonen i forhold til andre studenter, kan søke om tilrettelegging ved eksamen. Mødre som ammer kan søke om tilleggstid på eksamen.

Evaluering av emnet

Tilbakemelding fra studentene våre er avgjørende for at vi skal kunne tilby best mulige emner og studieprogrammer. Som student ved UiO vil du derfor bli bedt om å delta i ulike typer evaluering av studiehverdagen din. Vi gjennomfører fortløpende evaluering av dette emnet, og med jevne mellomrom ber vi studentene delta i en mer omfattende og detaljert evaluering, en såkalt "periodisk evaluering" av emnet.

Kontakt oss