INF3232 – Logikk for systemanalyse
Beskrivelse av emnet
Kort om emnet
Emnet har to hovedm?l:
1. Vise hvordan logiske metoder kan brukes til ? modellere og resonnere om datatyper og distribuerte systemer.
2. Gi en h?yniv? innf?ring i distribuerte systemer.
Emnet introduserer ulike klasser av distribuerte distribuerte systemer, som transport-protokoller, database-protokoller, klassiske distribuerte algoritmer og sikkerhetsprotokoller. Ulike kommunikasjonsformer og litt feilh?ndtering. Modellering og analyse av slike distribuerte systemer, og en innf?ring i ulike klasser av kravspesifikasjoner til distribuerte systemer.
Likhetslogikk og omskrivingslogikk, og det assosierte analyseverkt?yet Maude, brukes til ? spesifisere og analysere systemene, i tillegg til matematiske resonnementer om egenskaper som terminering og invarians.
Hva l?rer du?
Etter ? ha fullf?rt INF3232:
- kjenner du til noen klassiske distribuerte systemer/algoritmer
- har du forst?else for utfordringene knyttet til design av distribuerte systemer
- kan du modellere distribuerte systemer, som distribuerte algoritmer, nettverksprotokoller og sikkerhetsprotokoller, p? et h?yt abstraksjonsniv?
- kan du lage og teste ut prototyper/modeller for slike systemer
- kan du resonnere matematisk om egenskaper til systemer, som f.eks. terminering og korrekthet
- forst?r du ulike former for kommunikasjon og nettverk
- kjenner du til sentrale klasser av krav som kan stilles til et distribuert system
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
I tillegg til generell studiekompetanse eller realkompetanse m? du dekke spesielle opptakskrav:
- Matematikk R1 eller Matematikk (S1+S2)
De spesielle opptakskravene kan ogs? dekkes med fag fra videreg?ende oppl?ring f?r Kunnskapsl?ftet, eller p? andre m?ter. Les mer om spesielle opptakskrav.
Overlappende emner
- 10 studiepoeng overlapp mot INF4232 – Logikk for systemanalyse (videref?rt)
- 9 studiepoeng overlapp mot INF3230 – Formell modellering og analyse av kommuniserende systemer (videref?rt)
- 9 studiepoeng overlapp mot INF4231 – Formell modellering og analyse av kommuniserende systemer (videref?rt)
- 9 studiepoeng overlapp mot INF4230 – Formell modellering og analyse av kommuniserende systemer (nedlagt)
- 9 studiepoeng overlapp mot IN220
- 9 studiepoeng overlapp mot IN220A
- 3 studiepoeng overlapp mot IN307
Undervisning
2 timer forelesninger og 2 timer gruppe?velser per uke. Det er 3 obligatoriske ?velser i emnet. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver.
Eksamen
4 timers skriftlig digital eksamen. Obligatoriske ?velser m? v?re godkjente f?r eksamen.
Hjelpemidler
Alle trykte og skrevne hjelpemidler
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.
Begrunnelse og klage
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.
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.
Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner: INF4232/3230/4231/4230.
Tilrettelagt eksamen
S?knadskjema, krav og frist for tilrettelagt eksamen.