Emner: INF223 Kategoriteori - Vår 2014
Studiepoeng
10.0Undervisningssprå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
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ø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.
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.