INF5170 – Masterseminar i logikk
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
Kort om emnet
Masterseminar i logikk tar for seg emner i logikk, kunnskapsrepresentasjon og automatisk beviss?k. Temaene vil variere fra semester til semester avhengig av deltakere og interesse. Modale og ikke-klassiske logikker st?r sentralt. Seminaret am?tes hver annen uke, det alternerer med seminaret i intelligente data. Det kreves 80% deltagelse.
Hva l?rer du?
Deltakerne skal f? en bedre forst?else av ett eller flere emner innenfor feltet og f? trening i ? presentere teoretisk materiale.
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
Anbefalte forkunnskaper
Emnet bygger p? INF2080 – Logikk og beregninger (videref?rt) og INF3170 – Logikk (videref?rt) / INF4170 – Logikk (nedlagt) /IN318/SLI310.
Overlappende emner
5 studiepoeng overlapp mot INF9170 – Master seminar in logic (nedlagt)
Undervisning
Deltakerne presenterer litteratur, forskningsresultater og eget arbeid.
Eksamen
80% oppm?te. Studentene m? enten skrive essay eller holde minst en presentasjon bestemt av seminarleder. Generelle opplysninger om 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.
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.