HUMIT4751 – Modallogikk
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
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 for det.
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
HUMIT1750 Logikk og beregnbarhet
Anbefalte forkunnskaper
HUMIT1750 Logikk og beregnbarhet og ytterligere 10 studiepoeng i logikk.
Overlappende emner
Full overlapping med kurset SLI311
Undervisning
Undervisning blir gitt i form av forelesninger, 2 timer pr. uke.
Eksamen
Det er obligatoriske innleveringer i emnet som skal godkjennes f?r man f?r lov til ? g? opp til eksamen.
Obligatoriske oppgaver er gyldige i 5 ?r, med mindre emnet endres.
Muntlig eksamen. Karakterskala: A-F.
Annet
Masterprogrammet i IT-SLP. Ogs? egnet for andre masterprogram som filosofi, informatikk eller matematikk. Studenter i IT - SLP-programmet har forrang. Studentene som er tatt opp til et studieprogram der emnet inng?r, vil bli prioritert.