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.

• Obligatoriske innleveringar, som må gjerast og godkjennast i undervisningssemesteret.
• Obligatorisk deltaking: Oppmøte på gruppeøvingar (minst 75%). 

Godkjende obligatoriske undervisingsaktivitetar er gyldige i to semester etter godkjenninga.

Oppdatert: Pga. koronasituasjonen vil kravet om oppmøte til seminara ikkje være obligatorisk vårsemesteret 2021. Vi oppmodar likevel studentane til å følgje undervisninga i størst mogleg grad.