Formelle metodar for informasjonsvitskap

Undervisningsspråk

Norsk

Læringsutbyte

Studentane skal kjenne til grunnleggjande diskret matematikk og være rusta til å bruke dette innanfor mange ulike felt i informasjonsvitskap, under dette formell teori, konseptuell modellering, kunnskapsrepresentasjon og praktisk bruk av ulike språk for databasar og programmering.

Kontaktinformasjon

studieveileder@info.uib.no

Undervisningssemester

Vår

Eksamenssemester

Vår/haust

Undervisningsspråk

Norsk

Studienivå

Bachelor

Mål og innhald

Emnet skal gje grunnleggjande kunnskaper om formelle omgrep og metodar nytta innanfor grener av informasjonsvitskap. Det dannar grunnlag for studier i databasar, programmering og kunstig intelligens.

Fagleg innhald:

Elementær logikk og mengdelære, relasjonar og funksjonar. Grafar og tre.

Læringsutbyte/resultat

Studentane skal kjenne til grunnleggjande diskret matematikk og være rusta til å bruke dette innanfor mange ulike felt i informasjonsvitskap, under dette formell teori, konseptuell modellering, kunnskapsrepresentasjon og praktisk bruk av ulike språk for databasar og programmering.

Fagleg overlapp

Emnet overlappar 5 studiepoeng med MNF130, 5 studiepoeng mot INFO131 og 5 studiepoeng mot IV131.

Undervisning og omfang

Førelesingar, labøvingar og gruppeøvingar (normalt 4 timar forelesing, 2 timar datalab og 2 timar gruppeøving i ca. 10 veker). Det blir forventa at studentane sjølve organiserer kollokvium.

Obligatoriske arbeidskrav

To beståtte innleveringsoppgåver.

Obligatoriske oppgåver må gjerast og godkjennast i undervisningssemesteret. Dei er gyldige berre eitt semester utover det semesteret dei har blitt godkjende.

Vurderingsformer

3 timar skriftleg eksamen.

Karakterskala

Karaktersett med bokstavkarakterar (A-F).

Emneevaluering

Emnet vert evaluert av studentar kvart 3. år, av faglærer kvart år.

Kontaktinformasjon

studieveileder@info.uib.no