• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF2080

INF2080 - Logikk og beregninger

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

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

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.

Overlapping

5 studiepoeng mot INF1800 - Logikk og beregninger.

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

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

Det er mulig å besvare eksamen på norsk, svensk, dansk eller engelsk. Søknad om engelsk oppgavetekst rettes til kontaktpunkt for emnet. Om bruk av målform i eksamensoppgaver, se §5.4 i Forskrift om studier og eksamener ved Universitetet i Oslo.

Sensur

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

Begrunnelse og klage

En student kan be om begrunnelse for eksamenskarakterene, og kan også klage over karakterfastsettingen og/eller over formelle feil ved eksamen. Les mer om begrunnelse og klage.

Adgang til utsatt eller ny eksamen/vurdering

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 og antall eksamensforsøk

En student kan fremstille seg til eksamen i dette emnet inntil tre ganger. Studenten anses å ha fremstilt seg til eksamen dersom hun/han ikke har trukket eksamensmeldingen sin i StudentWeb innen en gitt frist.

Tilrettelagt eksamen/vurdering

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.

Kontakt oss