IN2100 – Logikk for systemanalyse
Beskrivelse av emnet
Kort om emnet
Emnet gir en h?yniv? innf?ring i distribuerte datasystemer, og viser hvordan logiske metoder kan brukes til ? modellere og resonnere om datatyper og distribuerte systemer. Emnet introduserer ulike klasser av distribuerte systemer, som transport-protokoller, database-protokoller, klassiske distribuerte algoritmer og sikkerhetsprotokoller. Emnet viser ogs? hvordan kravspesifikasjoner kan defineres matematisk, og hvordan man kan analysere hvorvidt et system tilfredsstiller en gitt kravspesifikasjon.
Emnet bruker likhetslogikk og omskrivingslogikk, samt det assosierte analyseverkt?yet Maude, til ? spesifisere systemer i en funksjonell programmerings-stil og til ? analysere systemene.
Hva l?rer du?
Etter ? ha fullf?rt emnet:
- har du kjennskap til sentrale distribuerte systemer/algoritmer
- har du kjennskap til kryptografi og kryptografiske protokoller
- kan du modellere distribuerte systemer, som distribuerte algoritmer, nettverksprotokoller og sikkerhetsprotokoller, p? et h?yt abstraksjonsniv?
- kan du teste prototyper/modeller for slike systemer
- kan du resonnere matematisk om egenskaper til systemer
- kjenner du til sentrale klasser av krav som kan stilles til et distribuert system
- kan du beskrive kravspesifikasjoner matematisk og kan sjekke hvorvidt et system tilfredsstiller sin kravspesifikasjon
Opptak til emnet
Studenter ved UiO?s?ker plass p? undervisning og melder seg til eksamen i Studentweb.
Spesielle opptakskrav
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.
Anbefalte forkunnskaper
Det er en fordel ? ha tatt ett innf?ringsemne i programmering (f.eks. IN1000). Du vil ogs? ha nytte av ? ha?tatt et innf?ringsemne i logikk (f.eks. IN1150).
Overlappende emner
- 10 studiepoeng overlapp med INF4232 – Logikk for systemanalyse (videref?rt).
- 10 studiepoeng overlapp med INF4230 – Formell modellering og analyse av kommuniserende systemer (nedlagt).
- 9 studiepoeng overlapp med INF3232 – Logikk for systemanalyse (videref?rt).
- 9 studiepoeng overlapp med INF3230 – Formell modellering og analyse av kommuniserende systemer (videref?rt).
Undervisning
2 timer forelesninger og 2 timer gruppeundervisning med oppgavegjennomgang per uke. Det kreves at obligatoriske oppgaver er godkjent for at man skal kunne g? opp til eksamen. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver.
Eksamen
6 timers skriftlig digital eksamen. Obligatoriske ?velser m? v?re godkjente f?r eksamen.
Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner:?INF3232 - Logikk for systemanalyse (videref?rt)/INF3230 - Formell modellering og analyse av kommuniserende systemer (videref?rt)/?INF4232 - Logikk for systemanalyse (videref?rt)?og?INF4230 - Formell modellering og analyse av kommuniserende systemer (nedlagt)
Hjelpemidler til eksamen
Alle trykte og skrevne hjelpemidler kan tas med p? eksamen
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.