print logo

Timeplan, pensum og eksamensdato

Velg semester

Kort om emnet

En fortsettelse av emnet INF1080 - Logiske metoder for informatikk. Om endelige tilstandautomater – deterministiske, ikke deterministiske og alternerende. Studentene lærer om overganger mellom automatene og forhold til regulære uttrykk og grammatikker. Pushdown automater, kontekstfrie språk og turing maskiner . Om sekventkalkyle og første ordens logikk. Beskrive beregninger i logikk. Begrensninger av logikk og beregninger – pumpelemma for automater, stoppeproblemet for turing maskiner, ufullstendighet av første ordens logikk. Kompleksitetsklasser som P, NP og PSPACE.

Hva lærer du?

Etter å ha tatt INF2080 kan du

  • Gi beregninger med automater og turing maskiner
  • Gi sammenheng mellom automater og grammatikker
  • Beskrive beregninger med logikk
  • Forstå fullstendighet og ufullstendighet av første ordens logikk
  • Vise begrensninger av logikk og beregninger
  • Forstå kompleksitetsklasser som P, NP og PSPACE

Opptak og adgangsregulering

Studenter må hvert semester søke og få plass på undervisningen og melde seg til eksamen i StudentWeb.

Dersom du ikke allerede har studieplass ved UiO, kan du søke opptak til våre studieprogrammer,  eller søke om å bli enkeltemnestudent.

Det er ikke mulig å ta dette emnet som privatist. Du må ha plass på undervisningen for å ta eksamen.

Forkunnskaper

Obligatoriske forkunnskaper

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.

INF1080 - Logiske metoder for informatikk/INF1800 - Logikk og beregninger (nedlagt)/MAT1030 - Diskret matematikk (nedlagt)

Overlappende emner

5 studiepoeng overlapp mot INF1800 - Logikk og beregninger (nedlagt)

Undervisning

2 timer forelesning og 4 timer øvelse hver uke.

Det kreves gjennomføring av obligatoriske oppgaver som må være godkjent for å kunne gå opp til eksamen.

Krav til innlevering av oppgaver, gruppearbeid og lovlig samarbeid under retningslinjer for obligatoriske oppgaver

Eksamen

4 timers skriftlig eksamen. Obligatoriske oppgaver må være godkjent for å kunne gå opp til eksamen.

Generelle opplysninger om eksamen

Hjelpemidler

Ingen hjelpemidler er tillatt.

Eksamensspråk

Du kan besvare eksamen på norsk, svensk, dansk eller engelsk. Søknad om engelsk oppgavetekst sender du til kontaktpunktet for emnet.

Karakterskala

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

Begrunnelse og klage

Du kan:

Adgang til ny eller utsatt eksamen

Dette emnet tilbyr ikke ny eksamen i begynnelsen av påfølgende semester til kandidater som stryker eller trekker seg under ordinær eksamen. For generelle opplysninger om ny og utsatt eksamen, se
http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html

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.

Tilrettelagt eksamen

En student som har en funksjonshemning og/eller kroniske eller akutte helseproblemer som fører til vesentlige ulemper i eksamenssituasjonen i forhold til andre studenter, kan søke om tilrettelegging ved eksamen. Mødre som ammer kan søke om tilleggstid på eksamen.

Annet

Det er sterkt anbefalt å møte på første forelesning fordi det vil bli gitt viktig informasjon.

Fakta om emnet

Studiepoeng

10

Nivå

Bachelor

Undervisning

Hver vår

Eksamen

Hver vår

Undervisningsspråk

Norsk (engelsk på forespørsel)