• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF5130

INF5130 - Utvalgte emner i omskrivningslogikk

Kort om emnet

Kurset er en fortsettelse av INF3230 - Formell modellering og analyse av kommuniserende systemer / INF4230 - Formell modellering og analyse av kommuniserende systemer og tar for seg grunnleggende teori rundt omskrivningslogikk som Knuth-Bendix-komplettering, refleksjon og metaprogrammering, samt eksempler på avanserte anvendelser av omskrivningslogikk til modellering og analyse av systemer i verktøyet Maude. Aktuelle systemer å modellere kan være sikkerhets- og nettverksprotokoller, sanntidssystemer, mobile systemer og biokjemiske prosesser.

Hva lærer du?

Gi en teoretisk forståelse av omskrivingssystemer. Gi innsikt i hvordan man kan spesifisere og analysere (og i noen tilfeller også implementere) ulike slags datasystemer på et høyt abstraksjonsnivå

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.

Forkunnskaper

Anbefalte forkunnskaper

Emnet bygger på INF3230 - Formell modellering og analyse av kommuniserende systemer /INF220

Undervisning

To til tre timer undervisning per uke (forelesning eller gruppeøvelse). Det kreves innlevering av obligatoriske oppgaver. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig samarbeid under retningslinjer for obligatoriske oppgaver.

Vurdering og eksamen

Studenten skal holde en muntlig presentasjon som teller 1/3 av den endelige karakteren. En muntlig eksamen teller 2/3. Dersom mange studenter følger emnet, kan eksamen bli skriftlig. De obligatoriske oppgavene må være bestått for å kunne gå opp til eksamen. Generelle opplysninger om eksamen.

Sensur

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

Tilsynssensor for emnet er Michal Walicki.

Emnet har en tilsynssensor som vurderer den helhetlige faglige kvaliteten på emnet, inkludert vurderingsordningene.

Adgang til utsatt eller ny eksamen/vurdering

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 http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html

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.

Annet

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

Kontakt oss