INF5800 – Emner i logikk
Beskrivelse av emnet
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
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
- 10 studiepoeng overlapp mot HUMIT4750 – Utvalgte emner i logikk (nedlagt)
- 10 studiepoeng overlapp mot INF9800 – Emner i logikk (nedlagt)
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 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver.
Eksamen
Muntlig eksamen. Obligatoriske oppgaver m? v?re godkjent for ? kunne g? opp til eksamen.
Karakterskala
Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. 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.
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.
Annet
Det er sterkt anbefalt ? m?te p? f?rste forelesning fordi det vil bli gitt viktig informasjon.