• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF1800

Dette emnet er nedlagt, men det kan hende at undervisningen er videreført under en ny emnekode. Se oversikt over emner som tilbys.

INF1800 - Logikk og beregninger

Kort om emnet

Innføring i utsagnslogikk og predikatlogikk. Bruk av logikk som språk for kunnskapsrepresentasjon og spesifikasjon, og metoder for påvisning eller avkrefting av logisk gyldighet ved hjelp av beviskalkyler og modellkonstruksjon. Formelle modeller for beregninger, som endelige automater, stakkautomater og turingmaskiner, og den elementære teorien for disse.

Hva lærer du?

Å kunne bruke utsagnslogikk og predikatlogikk som formelle språk. Å kunne vise hvordan en kan argumentere for logisk gyldighet, eller vise ved falsifikasjon at noe ikke er logisk gyldig. Kjennskap til metoder knyttet til beregnbarhetsmodeller.

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

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

10 studiepoeng mot HUMIT1750 - Logikk og beregninger. 10 studiepoeng mot HUMIT1750MN - Logikk og beregninger. 10 studiepoeng mot SLI 110. 10 studiepoeng mot SLI 1. 5 studiepoeng mot HUMIT1751 - Beregnbarhet. 5 studiepoeng mot FIL1400. 5 studiepoeng mot INF1080 - Logiske metoder for informatikk.

Undervisning

3 timer forelesning og tre timer gruppe hver uke. Det kreves innlevering av obligatoriske oppgaver som må være bestått for å kunne gå opp til eksamen.

Vurdering og eksamen

4 timer skriftlig eksamen.

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 nærmere opplysninger, se www.matnat.uio.no/studier/studieinformasjon/eksamen/kontinuasjon.html

Annet

Merk at det er obligatorisk oppmøte på første forelesning.

Ved praktisering av 3-gangersregelen skal emnet sees i sammenheng med HUMIT1750/HUMIT1750MN og SLI 110/SLI 1.

Kontakt oss