Formelle metodar for informasjonsvitskap

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

Fagleg innhald:

Elementær logikk og mengdelære, relasjonar og funksjonar. Grafar og tre. Kombinatorikk og sannsynsrekning. Informasjonsteori og bereknelegheit.

Studenten skal ved avslutta emne ha følgjande læringsutbyte:

Kunnskap

Studenten

• har teoretisk kunnskap om grunnleggjande omgrep knytt til logikk, mengdelære, relasjonar, funksjonar, grafar og tre, kombinatorikk og sannsynsrekning, informasjonsteori og bereknelegheit.
• 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

Studenten

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