HUMIT1751 – Beregnbarhet
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
Kort om emnet
Innf?ring i modeller for beregnbarhet, som endelige automater, grammatikker og turingmaskiner, og resultater om grensene for beregnbarhet.
Hva l?rer du?
Bruk av modellene til spesifikasjon av spr?k og relasjoner, samt ? kunne argumentere generelt ut fra modellene.
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
Ingen obligatoriske forkunnskaper utover generell studiekompetanse.Overlappende emner
5 studiepoengs overlapp mot HUMIT1750, tidligere SLI110 og tidligere FIL2400.
Undervisning
Emnet strekker seg over et halvt semester med 6 timer hver uke - delt mellom seminarer og oppgavel?sning i grupper.
Eksamen
Det er 2 obligatoriske oppgaver i l?pet av emnet, som skal v?re godkjent for ? f? g? opp til eksamen. Obligatoriske oppgaver er gyldige i 5 ?r, med mindre emnet endres.
Det gis en 2-timers skriftlig eksamen ved slutten av semesteret. Karakterskala: A-F.
Annet
Emnet er beregnet for studenter p? bachelorprogrammet i filosofi.