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.

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.

Overlappende emner

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 亚博娱乐官网_亚博pt手机客户端登录 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.

Fakta om emnet

Studiepoeng
10
Niv?
Master
Undervisning
H?st 2014
H?st 2012
V?r 2010

Annethvert h?stsemester.

Eksamen
H?st 2014
H?st 2012
V?r 2010

Annethvert h?stsemester.

Undervisningsspr?k
Norsk (engelsk p? foresp?rsel)