course-details-portlet

BMA1010

Matematikk for Informatikk

Velg studieår
Studiepoeng 7,5
Nivå Grunnleggende emner, nivå I
Undervisningsstart Høst 2024
Varighet 1 semester
Undervisningsspråk Norsk
Sted Gjøvik
Vurderingsordning Skriftlig skoleeksamen

Om

Om emnet

Faglig innhold

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

Læringsutbytte

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 stor 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

  • 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 ekvivalensrelasjoner, 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 gjennomføre Diffie-Hellman nøkkelutveksling

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.

Læringsformer og aktiviteter

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 arbeid: minst 75% av innleveringer må være godkjent for å få adgang til eksamen. Antall obligatoriske innleveringer og vekting blir oppgitt ved semesterstart.

Obligatoriske aktiviteter

  • Obligatorisk arbeidskrav

Mer om vurdering

  • Eksamen ved semesterslutt vil være skriftlig skoleeksamen under tilsyn (i digitalt eksamenssystem).
  • Ved utsatt eksamen kan skriftlig eksamen bli endret til muntlig eksamen.

Spesielle vilkår

Kursmateriell

Liste med anbefalt litteratur publiseres ved semesterstarten.

Studiepoengreduksjon

Emnekode Reduksjon Fra
DCST1004 7,5 sp Høst 2019
Dette emne har faglig overlapp med emnet i tabellen over. Om du tar emner som overlapper får du studiepoengreduksjon i det emnet du har dårligst karakter i. Dersom karakteren er lik i de to emnene gis det reduksjon i det emnet som er avlagt sist.

Fagområder

  • Matematikk

Kontaktinformasjon

Emneansvarlig/koordinator

Ansvarlig enhet

Institutt for matematiske fag