• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF1080

INF1080 - Logiske metoder for informatikk

Kort om emnet

Grunnleggende matematiske og logiske metoder. Det legges vekt på forståelse og tilvenning av matematiske begreper og notasjon som er relevante for et studium i informatikk. Temaer som vil bli undervist er logikk (utsagnslogikk og predikatlogikk), formalisering, bevismetoder, mengdelære, relasjon- og funksjonslære, induktivt definerte strukturer, induksjonsbevis, kombinatorikk, grafer og trær, automater og regulære uttrykk.

Hva lærer du?

Du lærer å tenke klart og logisk og løse enkle matematiske problemer, gjennomføre og forstå matematiske resonnementer og bevis, forstå grunnleggende terminologi og notasjon, samt noen grunnleggende resultater i teoretisk informatikk.

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 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. 5 studiepoeng mot MAT1030 - Diskret matematikk. 5 studiepoeng mot HUMIT1750 - Logikk og beregninger. 5 studiepoeng mot HUMIT1750MN - Logikk og beregninger. 5 studiepoeng mot SLI110. 5 studiepoeng mot HUMIT1751 - Beregnbarhet. 5 studiepoeng mot FIL1400.

Undervisning

4 timer forelesning og 2 timer gruppeundervisning 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

4 timers skriftlig eksamen som teller 100%. Alle obligatoriske oppgaver må være bestått for å kunne gå opp til eksamen. Generelle opplysninger om eksamen.

Hjelpemidler

Ingen hjelpemidler er tillatt.

Sensur

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

Adgang til utsatt eller ny eksamen/vurdering

Dette emnet tilbyr 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.

Annet

Det er obligatorisk oppmøte på første forelesning.

Det er obligatorisk oppmøte på gruppeøvelsene de først fire ukene.

Kontakt oss