HUMIT4750 – Utvalgte emner i logikk

Timeplan, pensum og eksamensdato

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 澳门葡京手机版app下载 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.

Fakta om emnet

Studiepoeng
10
Undervisning

(like ?rstal). Gis v?ren 2006.

Eksamen

(like ?rstal). Gis v?ren 2006.

Undervisningsspr?k

Vanligvis norsk. Engelsk hvis det deltar utvekslingsstudenter.