IN4070 – 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 IN4070 kan du:
- 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.
- forklare og utf?re omskrivinger mellom forskjellige logiske spr?k basert p? f?rsteordens logikk
Opptak til emnet
Studenter m? hvert semester?s?ke og f? plass p? undervisningen og melde seg til eksamen?i Studentweb.
Studenter tatt opp til andre masterprogrammer kan, etter s?knad, f? adgang til emnet hvis dette er klarert med eget program.
Dersom du ikke allerede har studieplass ved UiO, kan du s?ke om opptak til v?re?studieprogrammer, eller s?ke om ??bli enkeltemnestudent.
Anbefalte forkunnskaper
Overlappende emner
- 10 studiepoeng overlapp med IN3070 – Logikk.
- 10 studiepoeng overlapp med SLI310.
- 10 studiepoeng overlapp med IN318.
- 10 studiepoeng overlapp med INF4170 – Logikk (nedlagt).
- 10 studiepoeng overlapp med INF4171 – Logikk (videref?rt).
- 10 studiepoeng overlapp med INF3170 – Logikk (videref?rt).
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), IN3070 – 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.