Datamaskinteori

Undervisningsspråk

Engelsk

Krav til forkunnskapar

Ingen

Læringsutbyte

Etter å ha fullført INF210 vert ein kjent med formelle modellar for rekning, deriblant logiske og sekvensielle krinsar, formelle språk, automata og Turingmaskinar. Modellar vert samanlikna med omsyn til uttrykkskraft, og vert avgrensa mot problem som aldri vil kunne løysast på ein datamaskin.

Kontaktinformasjon

Forelesar og Administrativ kontaktperson finn du på Mi side, kontakt ev studiekonsulenten på Insituttet.

Undervisningssemester

Uregelmessig

Eksamenssemester

Det er ordinær eksamen kvart semester

Undervisningsspråk

Engelsk

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

Mål og innhald

Kurset dekkjer formelle utrekningsmodellar som ligg til grunn for moderne datamaskiner. Logiske krinsar og delar av ei forenkla sentraleining (CPU), blir 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/resultat

Etter å ha fullført INF210 vert ein kjent med formelle modellar for rekning, deriblant logiske og sekvensielle krinsar, formelle språk, automata og Turingmaskinar. 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

Fagleg overlapp

I210: 10 SP

Undervisning og omfang

Undervisningsformen kan bli endret dersom det er få studenter som deltar.

Obligatoriske arbeidskrav

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.

Undervisningssted

Bergen

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.