HUMIT4750 – Utvalgte emner i logikk
Beskrivelse av emnet
Kort om emnet
- Avanserte emner i logikk p? master- og doktorniv?.
- Emnene vil kunne endre seg fra semester til semester.
- Aktuelle emner er: ufullstendighet, kompleksitet, bevisteori.
Hva l?rer du?
Kjennskap til forskningsfronten i et utvalgt omr?de av logikk
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
Obligatoriske forkunnskaper
HUMIT1750 – Logikk og beregninger (nedlagt) Logikk og beregninger eller tilsvarende.
Anbefalte forkunnskaper
Minst 10 studiepoeng i logikk (utover HUMIT1750).
Undervisning
Emnet organiseres med 2 timer seminar per uke.
Eksamen
Semesteroppgave der tema for hver enkelt student bestemmes i 亚博娱乐官网_亚博pt手机客户端登录 med kursleder. Karakterskala: A-F.
Annet
Studentene som er tatt opp til et studieprogram der emnet inng?r, vil bli prioritert. Inng?r i Masterprogrammet i IT-SLP. Ogs? egnet for andre masterprogram som filosofi, informatikk eller matematikk. Studenter i IT - SLP-programmet har forrang.