HUMIT4751MN ¨C Modallogikk

Beskrivelse av emnet

• Kort om emnet
• Hva l?rer du?
• Opptak og adgangsregulering
• Forkunnskaper

• Overlappende emner
• Undervisning
• Eksamen

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 ¨C Logikk og beregninger (nedlagt)

Anbefalte forkunnskaper

Det anbefales 10 studiepoeng i logikk.

Overlappende emner

10 studiepoeng overlapp mot HUMIT4751 ¨C Modallogikk (nedlagt)

Full overlapping med kurset SLI311

Undervisning

2 timer forelesninger og 1 t gruppe?velser pr. uke

Det er obligatoriske innleveringer i emnet som skal godkjennes f?r man f?r lov til ? g? opp til eksamen.

Eksamen

Muntlig 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

Annet

Merk at det er obligatorisk oppm?te p? f?rste forelesning.