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?velse