Emner: INF210 Datamaskinteori - Høst 2014

Undervisningssprå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 DAT103

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ølgjande 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 munnleg 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å instituttet.