IN9100 ¨C Utvalgte emner i omskrivningslogikk

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 IN9100 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

Ph.d.-kandidater ved UiO s?ker plass p? undervisningen og melder seg til eksamen i?Studentweb.

Hvis emnet har begrenset kapasitet, vil ph.d.-kandidater som har emnet i sin utdanningsplan ved UiO bli prioritert. Noen nasjonale forskerskoler kan ha egne regler for rangering av s?kere til emner med begrenset kapasitet.

Ph.d.-kandidater som har opptak ved andre utdanningsinstitusjoner m? innen angitt frist?s?ke om hospitantplass.

Anbefalte forkunnskaper

IN2100 ¨C Logikk for systemanalyse (INF3230/3232/4231/4232)

Overlappende emner

• 10 studiepoeng overlapp med IN5100 ¨C Utvalgte emner i omskrivningslogikk.
• 10 studiepoeng overlapp med INF5130 ¨C Utvalgte emner i omskrivningslogikk (videref?rt).
• 10 studiepoeng overlapp med INF9130 ¨C 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?best?tt/ikke best?tt. Les mer om?karakterskalaen.

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.