Vurderingsordning

Faglig innhold

- Tallteori (faktorisering og Euklids algoritme)
- Matriser
- Logikk (utsagnslogikk og predikatlogikk)
- Bevismetoder
- Mengdelære
- Relasjon- og funksjonslære
- Enumerativ kombinatorikk
- Grafer og trær
- Automater og formelle språk

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 vektlegger anvendelser.
Kunnskap:
- Opparbeide et faglig grunnlag og en metodisk forståelse i matematikk som andre emner kan bygge videre på
- Forstå matematikkens betydning i informatikkfaget og i egen utdanning
- Identifisere sammenhenger mellom matematikk og informatikkfaglige anvendelser
- Tilegne seg gode kunnskaper i matematikk som grunnlag for livslang læring
- Kjenne til muligheter og begrensninger i forskjellige typer matematiske dataverktøy.Emnet skal gi kunnskap i områdene logikk og diskret matematikk.

Ferdigheter:
- Bruke et relevant matematisk symbol- og formelapparat
- Bruke matematiske metoder
- idereutvikle evne til å tenke og resonere matematiskFerdighetene skal utvikles gjennom anvendelser på de ulike kunnskapsområdene.

Generell kompetanse:
- Kunne identifisere sammenhenger mellom matematikk og eget informatikkfag
- Kan kommunisere i, med og om matematikk
- Forstå og anvende engelsk faglitteratur i matematikk.

Læringsformer og aktiviteter

Forelesninger, Oppgaveløsning
Obligatoriske innleveringer

Obligatoriske aktiviteter

• Obligatoriske innleveringer

Mer om vurdering

Utsatt skriftlig eksamen i august.

Ved kontinuasjon eller gjentak av kun skriftlig eksamen behøver ikke obligatoriske oppgave tas på nytt hvis tidligere obliger eller mappe er bestått.

Spesielle vilkår

Kursmateriell

Richard Johnsonbaugh: Discrete Mathematics, 7th ed. Pearson Prentice Hall.Stoff som blir lagt ut i Fronter er også pensum.