INF9810 – 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.
In addition, each PhD student will be given an extended curriculum within the field/research area of the course. The syllabus must be approved by the lecturer so that the student can be admitted to the final exam.
Opptak og adgangsregulering
Ph.d.-kandidater ved UiO s?ker plass p? undervisningen og melder seg til eksamen i Studentweb.
Hvis emnet har begrenset kapasitet, vil ph.d.-kandidater som har emnet i sin utdanningsplan ved UiO bli prioritert. Noen nasjonale forskerskoler kan ha egne regler for rangering av s?kere til emner med begrenset kapasitet.
Ph.d.-kandidater som har opptak ved andre utdanningsinstitusjoner m? innen angitt frist s?ke om hospitantplass.
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 som m? v?re best?tt for ? kunne g? opp til eksamen
Eksamen
Muntlig eksamen.
Note that the exam in INF9810 will be more extensive than the one in INF5810.
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
Annet
Merk at det er obligatorisk oppm?te p? f?rste forelesning.
Ved praktisering av 3-gangersregelen skal emnet sees i sammenheng med HUMIT4751, HUMIT4751MN og SLI311.