Emner: INF223 Kategoriteori - Vår 2017

Studiepoeng

10.0

Undervisningsspråk

Engelsk

Undervisningssemester

Vår

Undervisningsstad

Bergen

Mål og innhald

Kategoriteori er eit matematisk språk og verkty som dannar grunnlag for å formalisera ei rekkje daglege omgrep. Den er høgst relevant for datahandsaming - den gjev avanserte metodar for skildring og resonnering kring komplekse situasjonar som involverer strukturerte objekt. Kategoriteori fokuserer særskild på tilhøvet mellom dei aktuelle studieobjekta og prinsipp for å konstruere desse.

Læringsutbyte

Etter fullført emne INF223 skal studentene

vere kjent med grunnleggjande kategorielle omgrep, resultat og konstruksjonar som inkluderer kategori, funktor, naturlig transformasjon, funktor kategori, snitt kategori, pullback og pushout
kunne forklare desse omgrepa, resultata og konstruksjonane ved hjelp av informatikk dømer
vere vane med kategoriell tenking og vere i stand til å bevise grunnleggjande teorem
ha grunnleggjande ferdigheiter i å bruke kategori teori for å strukturere og formalisere typiske situasjonar i informatikk som involverer meir komplekse strukturar
vere i stand til å tilegne seg vidareførande tema frå litteraturen

Krav til forkunnskapar

Ingen

Tilrådde forkunnskapar

Byggjer på INF121/INF122

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

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. Eksamen kan foregå digitalt (på datamaskin). Se meir informasjon på: www.uib.no/digitaleksamen. 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.

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å Mitt UiB kontakt ev. studiekonsulenten på instituttet.