INF9800 – Emner i logikk
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
Kort om emnet
Dette er et forskningsseminar. Temaet vil kunne variere fra gang til gang. Typiske emner er bevisteori, ufullstendighet, kompleksitet, modal logikk.
Hva l?rer du?
Studentene skal f? grundig kjennskap til ett eller flere emner i logikk og v?re i stand til ? utf?re et forskningsarbeid innen omr?det.
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.
Overlappende emner
- 10 studiepoeng overlapp mot HUMIT4750 – Utvalgte emner i logikk (nedlagt)
- 10 studiepoeng overlapp mot INF5800 – Emner i logikk (nedlagt)
Undervisning
2 timer forelesninger og 1 time gruppe?velser per uke. En stor obligatorisk oppgave. Den obligatoriske oppgaven til ph.d.-kurset er vesentlig st?rre enn den for master-kurset.
Eksamen
Muntlig eksamen. Obligatoriske oppgaver m? v?re godkjent for ? kunne g? opp til eksamen.
Karakterskala
Emnet bruker karakterskala best?tt/ikke best?tt. Les mer om karakterskalaen.
Begrunnelse og klage
Adgang til ny eller utsatt eksamen
Studenter som dokumenterer gyldig frav?r fra ordin?r eksamen, kan ta utsatt eksamen i starten av neste semester.
Det tilbys ikke ny eksamen til studenter som har trukket seg under ordin?r eksamen, eller som ikke har best?tt.
Annet
Merk at det er obligatorisk oppm?te p? f?rste forelesning.