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.