IN3070 ¨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 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

IN1150/INF1080

Overlappende emner

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