Norsk

Vår

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

Fagleg innhald:

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

Studenten skal ved avslutta emne ha følgjande læringsutbyte definert i kunnskapar, ferdigheiter og generell kompetanse:

Kunnskap

Kandidaten

• har teoretisk kunnskap om grunnleggjande omgrep knytt til logikk, mengdelære,
• relasjonar, funksjonar, grafar og tre.
• kan gjere greie for til eit utval av andre relevante omgrep som byggjer på desse.
• har kjennskap til matematiske/formelle uttrykksformer og resonnement.
• har grunnleggjande forståing av formalisering som metode og områda der denne
• vert nytta.

Ferdigheit

Kandidaten

• kan gjengi og forklare omgrep og resultat.
• kan forklare, evaluere og vurdere uttrykk og resonnement der desse vert nytta.
• mestrer formelle uttrykksformer og metodar i eit spekter av samanhengar; frå
• konkret bruk i programmerings- og spørjespråk til abstrakt bruk gjennom
• formalisering av enklare fenomen.

Obligatoriske innleveringar, som må gjerast og godkjennast i undervisningssemesteret.

Obligatorisk deltaking: Oppmøte på obligatoriske seminargrupper (minst 80%). 

3 timar skriftleg eksamen.

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

studieveileder@ifi.uib.no