IN4070 ¨C Logikk

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

IN1150/INF1080

Overlappende emner

• 10 studiepoeng overlapp med IN3070 ¨C Logikk.
• 10 studiepoeng overlapp med SLI310.
• 10 studiepoeng overlapp med IN318.
• 10 studiepoeng overlapp med INF4170 ¨C Logikk (nedlagt).
• 10 studiepoeng overlapp med INF4171 ¨C Logikk (videref?rt).
• 10 studiepoeng overlapp med INF3170 ¨C 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 澳门葡京手机版app下载 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 ¨C Logikk (videref?rt), IN3070 ¨C Logikk, INF4170 ¨C Logikk (nedlagt), INF4171 ¨C 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.