INF5810 – Modallogikk
Beskrivelse av emnet
Kort om emnet
- Modallogiske systemer
- Kompletthet og avgjørbarhet av systemene
- Utvidelse av modal logikk til temporal logikk, dynamisk logikk, logikk for kommuniserende agenter mm
Hva lærer du?
Kjennskap til logiske systemer lagd for sammenhenger innen informatikk eller filosofi. Det legges vekt på hvordan et slikt system skal kunne lages og hva en kan forvente av metoder.
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
Anbefalte forkunnskaper
HUMIT1750 – Logikk og beregninger (nedlagt)/HUMIT1750MN – Logikk og beregninger (nedlagt)/INF1800 – Logikk og beregninger (nedlagt) og INF3170 – Logikk (videreført)/INF4170 – Logikk (nedlagt)
Overlappende emner
- 10 studiepoeng overlapp mot HUMIT4751 – Modallogikk (nedlagt)
- 10 studiepoeng overlapp mot HUMIT4751MN – Modallogikk (nedlagt)
- 10 studiepoeng overlapp mot SLI 311
Undervisning
2 timer forelesninger og 1 time gruppeøvelser per uke. Det kreves innlevering av obligatoriske oppgaver. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig samarbeid under retningslinjer for obligatoriske oppgaver.
Eksamen
Muntlig eksamen. Obligatoriske oppgaver må være bestått for å kunne gå opp til eksamen. Generelle opplysninger om 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 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 /studier/admin/eksamen/sykdom-utsatt/mn/index.html
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.
Ved praktisering av 3-gangersregelen skal emnet sees i sammenheng med HUMIT4751, HUMIT4751MN og SLI311.
Annet
Det er sterkt anbefalt å møte på første forelesning fordi det vil bli gitt viktig informasjon.