Kort om emnet

INF5160 er videref?ringen av det tradisjonsrike seminaret i databehandling, med vekt p? formelle metoder. Programmet i INF5160 varierer hvert semester avhengig av behov og interesse. Forelesningene vil v?re forskningsbasert og introdusere klassiske artikler samt arbeider fra forskningsfronten. INF5160 vil ta opp emner som danner grunnlag for master, phd og avanserte forskningstemaer ved forskningsgruppen for Presis modellering og analyse p? Institutt for informatikk.

Hvert semester tar vi sikte p? ? invitere minst en gjestforeleser utenfra, som har gjort seg bemerket internasjonalt.

Hva l?rer du?

Du f?r forskningstrening og forelesningserfaring p? avansert niv?. Doktorgradsstudentene tilbys ogs? trening i presentasjon av forskningsarbeider ment for publisering ved konferanser eller tidsskrifter

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

Obligatoriske forkunnskaper

Ingen obligatoriske forkunnskaper utover generell studiekompetanse.

Overlappende emner

5 studiepoeng overlapp mot INF9160 – Databehandlingsseminar (nedlagt)

Undervisning

1-2 timers forelesning hver uke. 80% obligatorisk oppm?te. Forelesning over et emne valgt i samr?d med veileder, med forelesningsfoiler vedlagt.

Eksamen

Alle studenter skal holde et foredrag om oppgitt emne i minst en time. Generelle opplysninger om eksamen.

Karakterskala

Emnet bruker karakterskala best?tt/ikke best?tt. Les mer om karakterskalaen.

Begrunnelse og klage

Adgang til ny eller utsatt eksamen

Dette emnet tilbyr ikke ny eksamen i begynnelsen av p?f?lgende semester til kandidater som stryker eller trekker seg under ordin?r eksamen. For generelle opplysninger om ny og utsatt eksamen, se /studier/admin/eksamen/sykdom-utsatt/mn/index.html

Trekk fra eksamen

Det er mulig ? ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensfors?k.

Annet

Det er sterkt anbefalt ? m?te p? f?rste forelesning fordi det vil bli gitt viktig informasjon.

Fakta om emnet

Studiepoeng
5
Niv?
Master
Undervisning
V?r og h?st
Eksamen
V?r og h?st
Undervisningsspr?k
Norsk (engelsk p? foresp?rsel)