Emner: INF210 Datamaskinteori - Vår 2014
Studiepoeng
10.0Undervisningsspråk
Engelsk
Undervisningssemester
Uregelmessig
Undervisningsstad
Bergen
Mål og innhald
Kurset dekkjer formelle utrekningsmodellar som ligg til grunn for moderne datamaskiner. F.eks. logiske krinsar og delar av ei forenkla sentraleining (CPU) utvikla på matematisk grunnlag. Det blir gitt eit oversyn over metodar for generering og gjenkjenning av formelle språk (grammatikkar, automatar, Turing maskiner) og deira forhold til mekanisk utrekning.
Læringsutbyte
Etter å ha fullført INF210 vert ein kjent med formelle modellar for rekning, deriblant formelle språk, endelege automata og Turingmaskiner. Modellar vert samanlikna med omsyn til uttrykkskraft, og vert avgrensa mot problem som aldri vil kunne løysast på ein datamaskin.
Krav til forkunnskapar
Ingen
Tilrådde forkunnskapar
Byggjer på MNF130 og INF110
Krav til studierett
For oppstart på emnet er det krav om ein studierett knytt til Det matematisk-naturvitskaplege fakultet, samt at du oppfyller ev opptakskrav
Undervisningsformer og omfang av organisert undervisning
Undervisningsformen kan bli endret dersom det er få studenter som deltar.
Obligatorisk undervisningsaktivitet
Godkjente obligatoriske oppgåver.
Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgende semesteret.
Vurderingsformer
3 timar skriftleg eksamen. Det er høve til å gi karakter på obligatoriske oppgåver som kan inngå i sluttkarakteren. Dersom det er færre enn 20 deltakarar kan det bli muntleg eksamen.
Ingen lovlege hjelpemiddel.
Karakterskala
Ved sensur av emnet vert karakterskalaen A-F nytta.
Fagleg overlapp
I210: 10 SP
Vurderingssemester
Det er ordinær eksamen kvart semester
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
Kontaktinformasjon
Forelesar og Administrativ kontaktperson finn du på Mi side, kontakt ev studiekonsulenten på Insituttet.