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. Sannsyn og statistikk.

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, sannsyn og statistikk.
• 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; frå konkret bruk i programmering, datahandtering og modellering til abstrakt bruk gjennom formalisering av enklare fenomen.

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

Godkjende obligatoriske undervisingsaktivitetar er gyldige i to semester etter godkjenninga.

4 timar skriftleg eksamen

Oppdatert: Skuleeksamen blir gjennomført som 3 timar skriftleg eksamen heime (inspera digital eksamen) høsten 2020 som del av tiltak for å hindre spreiing av koronaviruset.