IN3070 – Logikk
Beskrivelse av emnet
Kort om emnet
Dette er et videreg?ende emne i logikk. Emnet fokuserer p? sammenhengen mellom sannhet og bevisbarhet, og g?r gjennom mange grunnleggende begreper. Flere anvendelser av logikk innen informatikk blir gjennomg?tt.
Hva l?rer du?
Etter ? ha tatt IN3070 skal du kunne:
- gj?re rede for grunnleggende begreper som oppfyllbarhet, gyldighet, bevis, konsistens, sunnhet og kompletthet.
- forklare skillet mellom og sammenhengene mellom struktur (syntaks) og innhold (semantikk) for logiske spr?k, s?rlig utsagnslogikk og f?rsteordens logikk.
- f?re bevis i og argumentere for korrekthet for formelle bevissystemer (kalkyler) for utsagnslogikk og f?rsteordens logikk.
- greie ut om utvalgte tradisjonelle og moderne informatikkanvendelser av logiske spr?k.
Opptak til emnet
Studenter m? hvert semester?s?ke og f? plass p? undervisningen og melde 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
Overlappende emner
- 10 studiepoeng overlapp med INF3170 – Logikk (videref?rt).
- 10 studiepoeng overlapp med INF4171 – Logikk (videref?rt).
- 10 studiepoeng overlapp med INF4170 – Logikk (nedlagt).
- 10 studiepoeng overlapp med IN318.
- 10 studiepoeng overlapp med SLI310.
- 10 studiepoeng overlapp med IN4070 – Logikk.
Undervisning
4 timer forelesning og 2 timer gruppeundervisning per uke. Det kreves gjennomf?ring av obligatoriske ?velser Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 亚博娱乐官网_亚博pt手机客户端登录 under retningslinjer for obligatoriske oppgaver.
Eksamen
4 timer skriftlig digital eksamen. Obligatoriske ?velser m? v?re godkjente for ? kunne g? opp til eksamen.
Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner:?INF3170 – Logikk (videref?rt), IN4070 – Logikk, INF4170 – Logikk (nedlagt), INF4171 – Logikk (videref?rt), IN318, SLI310
Hjelpemidler til eksamen
Ingen hjelpemidler tillatt.
Eksamensspr?k
Eksamensoppgaven blir gitt p? engelsk, og du skal besvare eksamenen p? 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
- 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.