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/resultat
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.
Undervisningssemester
Uregelmessig
Eksamenssemester
Det er ordinær eksamen kvart semester
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
Krav til forkunnskapar
Ingen
Tilrådde forkunnskapar
Byggjer på MNF130 og INF110
Tilrådde forkunnskapar
Byggjer på MNF130 og DAT103
Fagleg overlapp
I210: 10 SP
Undervisning og omfang
Undervisningsformen kan bli endret dersom det er få studenter som deltar.
Obligatoriske arbeidskrav
Godkjente obligatoriske oppgåver.
Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgende semesteret.
Obligatoriske arbeidskrav
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 muntleg eksamen.
Ingen lovlege hjelpemiddel.
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.
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
