• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF3170

INF3170 - Logikk

Kort om emnet

Emnet introduserer logiske kalkyler som egner seg for bevissøk. Sentralt står sekventkalkyler for klassisk og intuisjonistisk logikk, tablåmetoden og resolusjon. Grunnleggende begreper som oppfyllbarhet, konsistens, gyldighet, sunnhet og kompletthet, og sammenhengen mellom disse, blir gjennomgått.

Hva lærer du?

Kurset skal gi studenter innsikt i logikk som en basis for studier i teoretisk databehandling. Emnet kan også være et utgangspunkt for videre studier i logikk eller automatisk bevisføring for anvendelse i databehandling.

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.

Forkunnskaper

Obligatoriske forkunnskaper

I tillegg til generell studiekompetanse må du ha bestått 2MX/2MY/3MZ fra videregående skole. Les mer om mulighetene for å dekke fagkrav på andre måter enn med fag fra norsk videregående skole.

Anbefalte forkunnskaper

Emnet bygger HUMIT1750 - Logikk og beregninger/SLI 110/INF 120 eller tilsvarende. Kurset kan følges uten disse forkunnskapene med noe større egeninnsats.

Overlapping

10 studiepoeng mot INF4170 - Logikk og 10 studiepoeng mot IN 318/SLI 310.

Undervisning

2 timer forelesning og 2 timer gruppeøvelser per uke. Det kreves gjennomføring av obligatoriske oppgaver. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig samarbeid under retningslinjer for obligatoriske oppgaver.

Vurdering og eksamen

Skriftlig (4 timer) eller muntlig avsluttende eksamen som teller 100%. Eksamensformen blir annonsert på første forelesning. Alle obligatoriske oppgaver må være bestått for å kunne gå opp til eksamen. Generelle opplysninger om eksamen.

Sensur

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

Tilsynssensor for emnet er Lars Kristiansen.

Emnet har en tilsynssensor som vurderer den helhetlige faglige kvaliteten på emnet, inkludert vurderingsordningene.

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

Ved praktisering av 3-gangers regelen skal emnet sees i sammenheng med IN318/SLI310 og INF4170.

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.

Annet

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

Kontakt oss