Matematikk for Informatikk

• Logikk: påstander, argumenter, grunnleggende bevisteori. Matematisk induksjon.
• Mengdelære, diskrete funksjoner og relasjoner.
• Tallteori: delelighet og kongruensregning, utvidede euklidsk algoritme, RSA og/eller Diffie-Hellman som anvendelser.
• Grafteori: viktige typer grafer, grafisomorfi, trær. Grafteoretiske algoritmer, slik som Prims eller Dijkstras algoritme.
• Kombinatorikk: telleresultater knyttet til mengder, funksjoner og grafer.

Emnet skal gi studentene kunnskap om matematikk som et viktig verktøy i informatikkfaglig problemløsing, samt danne grunnlaget for videre spesialisering i matematikk og informatikk. Emnet legger vekt på anvendelser.

Kunnskap: Kandidaten

• kjenner til begreper i utsagnslogikk
• kjenner til vanlige former for matematiske bevis, herunder matematisk induksjon
• kjenner til grunnleggende mengdeteori
• kjenner til diskrete funksjoner og relasjoner
• kjenner til begreper og algoritmer knyttet til grafer, herunder trær og grafisomorfi
• kjenner til begreper, metoder og resultater innen tallteori, moduloregning og kryptografi.

Ferdigheter: Kandidaten

• kan anvende grunnleggende begreper, resultater og metoder fra teorien om påstander og argumenter, for eksempel avgjøre om et argument er gyldig eller ugyldig og avgjøre om utsagn er ekvivalente.
• kan konstruere enkle matematiske beviser, herunder induktive bevis
• kan anvende grunnleggende begreper og resultater knyttet til mengdelære, diskrete funksjoner og relasjoner, og kan representere disse på ulike måter.
• kan anvende grunnleggende begreper og resultater knyttet til grafer, inkludert veier i grafer og grafisomorfi
• kan anvende algoritmer på mindre eksempler,
• kan anvende grunnleggende begreper og metoder fra tallteorien knyttet til delelighet, herunder euklids algoritme.
• kan regne med kongruenser og arbeide med Diffie-Hellman nøkkelutveksling og/eller RSA.

Generell kompetanse:

• Kandidaten skal kunne kommunisere med og om matematikk, herunder bruke relevant matematisk symbol- og formelapparat
• Kandidaten skal kunne benytte matematikk til å modellere og løse teoretiske og praktiske problemer slik de vil møte dem på sitt emneområde i studiet og i yrkeslivet.

Forelesninger og labøvinger. Øvinger vil ta utgangspunkt i oppgaver i et digitalt vurderingssystem. Det vil være tilbud om oppgaver og læringsvideoer for egenstudier som et supplement til forelesningene.

Obligatorisk arbeidskrav: minst 75% av innleveringer må være godkjent for å få adgang til eksamen. Antall obligatoriske innleveringer og vekting blir oppgitt ved semesterstart.