IN5100 – Utvalgte emner i omskrivningslogikk

Timeplan, pensum og eksamensdato

Undervises ikke H?st 2024

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.

IN2100 – Logikk for systemanalyse (INF3230/3232/4231/4232)

Overlappende emner

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

Andre veiledninger og ressurser finner du p? fellessiden om eksamen ved UiO.

Sist hentet fra Felles Studentsystem (FS) 10. nov. 2024 12:03:35

Fakta om emnet

Niv?
Master
Studiepoeng
10
Undervisning
H?st
Eksamen
H?st
Undervisningsspr?k
Norsk