INF1800 – Logikk og beregninger
Beskrivelse av emnet
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 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.
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.
Overlappende emner
- 10 studiepoeng overlapp mot HUMIT1750 – Logikk og beregninger (nedlagt)
- 10 studiepoeng overlapp mot HUMIT1750MN – Logikk og beregninger (nedlagt)
- 10 studiepoeng overlapp mot SLI 110
- 10 studiepoeng overlapp mot SLI 1
- 5 studiepoeng overlapp mot HUMIT1751 – Beregnbarhet (nedlagt)
- 5 studiepoeng overlapp mot FIL1400
- 5 studiepoeng overlapp mot INF1080 – Logiske metoder for informatikk (videref?rt)
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.
Eksamen
4 timer skriftlig eksamen.
Karakterskala
Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.
Adgang til ny eller utsatt eksamen
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 /studier/admin/eksamen/sykdom-utsatt/mn/index.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.