Kort om emnet

Emnet introduserer videreg?ende teknikker innen logikk for bruk i informatikk, med vekt p? bevissystemer og formell semantikk. Grunnleggende begreper som oppfyllbarhet, konsistens, gyldighet, sunnhet og kompletthet, og sammenhengen mellom disse, blir gjennomg?tt, med eksempler fra anvendelser av logikk innen informatikk.

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 for anvendelse i databehandling.

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.

Anbefalte forkunnskaper

Emnet bygger p? INF2080 – Logikk og beregninger (videref?rt)/HUMIT1750 – Logikk og beregninger (nedlagt)/SLI 110/INF 120 eller tilsvarende. Kurset kan f?lges uten disse forkunnskapene med noe st?rre egeninnsats.

Overlappende emner

10 studiepoeng mot INF4171 – Logikk (videref?rt) og 10 studiepoeng mot INF4170 – Logikk (nedlagt)/IN 318/SLI 310

Undervisning

4 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 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver.

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.

Hjelpemidler

Ingen hjelpemidler er tillatt.

Karakterskala

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

Begrunnelse og klage

Adgang til ny eller utsatt eksamen

Studenter som dokumenterer gyldig frav?r fra ordin?r eksamen, kan ta utsatt eksamen i starten av neste semester.

Det tilbys ikke ny eksamen til studenter som har trukket seg under ordin?r eksamen, eller som ikke har best?tt.

Trekk fra eksamen

Det er mulig ? ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensfors?k.

Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner: INF4170, INF4171 og IN318/SLI310.

Annet

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

Fakta om emnet

Studiepoeng
10
Niv?
Bachelor
Undervisning
Hver h?st

Emnet undervises kun ved flere enn 10 p?meldte.

Eksamen
Hver h?st
Undervisningsspr?k
Norsk