IN3070 – 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 – 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 samarbeid 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.