IN5100 – Utvalgte emner i omskrivningslogikk
Beskrivelse av emnet
Kort om emnet
Emnet tar for seg utvalgte videregående temaer innen omskrivningslogikk og formelle metoder som metaprogrammering, sanntidssystemer og probabilistiske systemer. Eksempler på bruk av omskrivingslogikk til formell modellering og analyse av applikasjoner som for eksempel transportprotokoller, web-browsere og datasikkerhet, cloud-baserte databaser og transaksjonshåndtering, biokjemiske prosesser, kognitive prosesser, flysystemer og semantikk og analyse av standard programmerings- og modellingsspråk.
Hva lærer du?
Etter å ha tatt IN5100 kan du:
- formell modellering og analyse av systemer i domener som for eksempel: nettlesere transportprotokoller, cloud-baserte transaksjonssystemer, biokjemi, psykologi, datasystemer for fly, og/eller semantikk og analyse av standard modellerings- og programmeringsspråk
- metaprogrammering
- modellering og analysemetoder for sanntids- og probabilistiske systemer
- lese og forstå vitenskapelige artikler
- presentere vitenskapelige artikler
Opptak til emnet
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.
Anbefalte forkunnskaper
IN2100 – Logikk for systemanalyse (INF3230/3232/4231/4232)
Overlappende emner
- 10 studiepoeng overlapp med IN9100 – Utvalgte emner i omskrivningslogikk.
- 10 studiepoeng overlapp med INF5130 – Utvalgte emner i omskrivningslogikk (videreført).
- 10 studiepoeng overlapp med INF9130 – Utvalgte emner i omskrivningslogikk (videreført).
Undervisning
Tre timer undervisning per uke (forelesning eller gruppeøvelse). Det kreves innlevering av obligatoriske oppgaver.
Eksamen
Muntlig eller skriftlig 4 timers digital eksamen som teller 70% og en muntlig presentasjon som teller 30% av sluttkarakteren. Obligatoriske oppgaver må være godkjent for å kunne gå opp til eksamen.
Eksamensspråk
Du kan besvare eksamen på norsk, svensk, dansk eller engelsk.
Karakterskala
Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen
Adgang til ny eller utsatt eksamen
Studenter som dokumenterer gyldig fravær fra ordinær eksamen, kan ta utsatt eksamen i starten av neste semester.
Det tilbys ikke ny eksamen til studenter som har trukket seg under ordinær eksamen, eller som ikke har bestått.
Mer om eksamen ved UiO
- Kildebruk og referanser
- Tilrettelegging på eksamen
- Trekk fra eksamen
- Syk på eksamen / utsatt eksamen
- Begrunnelse og klage
- Ta eksamen på nytt
- Fusk/forsøk på fusk
Andre veiledninger og ressurser finner du på fellessiden om eksamen ved UiO.