Kategoriteori

Undervisningsspråk

Engelsk

Krav til forkunnskapar

Ingen

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

Kontaktinformasjon

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

Fagleg 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.

Undervisningsmetodar

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

Obligatoriske aktivitetar (særskilde krav)

Oppgåver

Obligatoriske aktivitetar er gyldige i to semester.

Undervisningssemester

Vår

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

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/resultat

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

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.