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
Ferdigheit
Studenten
Godkjende obligatoriske undervisingsaktivitetar er gyldige i to semester etter godkjenninga.