Timeplan, pensum og eksamensdato

Velg semester

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 og adgangsregulering

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.

Forkunnskaper

Anbefalte forkunnskaper

IN1150/INF1080

Overlappende emner

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.

Hjelpemidler

Ingen hjelpemidler er tillatt.

Eksamensspråk

Dersom emnet undervises på engelsk vil det bare tilbys eksamensoppgavetekst på engelsk.

Du kan besvare eksamen på norsk, svensk, dansk eller engelsk.

Karakterskala

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.

Begrunnelse og klage

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.

Trekk fra eksamen

Det er mulig å ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensforsøk.

Som eksamensforsøk i dette emnet teller også forsøk i følgende tilsvarende emner: IN3070 – Logikk,INF3170 – Logikk (videreført) og  INF4171 – Logikk (videreført)

Tilrettelagt eksamen

Søknadskjema, krav og frist for tilrettelagt eksamen.

Fakta om emnet

Studiepoeng

10

Nivå

Master

Undervisning

Høst 2019

Dette emnet tilbys første gang høsten 2019, deretter hver høst

Eksamen

Hver høst

Undervisningsspråk

Norsk (engelsk på forespørsel)