Emne - Elementær diskret matematikk - MA0301
Elementær diskret matematikk
Om
Om emnet
Faglig innhold
Emnet er først og fremst ment som et tilbud til informatikkstudenter, og bygger ikke på forkunnskaper i matematikk utover det som undervises i videregående skole. Emnet vil også være av interesse for matematikkstudenter. Emnet gir en innføring i elementær kombinatorikk og mengdelære, setnings- og predikatslogikk, induksjon og rekursjon, relasjoner og funksjoner, grafteori, formelle språk og endelige automater.
Læringsutbytte
1. Kunnskap: Studenten har grunnleggende kunnskaper innen matematisk logikk, mengdelære og kombinatoriske tellemetoder. Studenten har kunnskaper om rekursjon og induksjon, samt om relasjoner, grafer og trær. Videre har studenten grunnleggende kunnskaper om formelle språk, grammatikker og endelige automater.
2. Ferdigheter: Studenten kan gjøre praktisk bruk av elementær logikk og mengdelære, kan føre enkle induksjonsbevis, kan anvende kombinatoriske tellemetoder til å løse praktiske problemer og kan gjøre praktisk bruk av endelige automater. Studenten kan gjenkjenne, forstå og bruke begreper som relasjoner, grafer og trær i anvendelser, f.eks. innen informasjonsteknologi.
Læringsformer og aktiviteter
Forelesninger og obligatoriske øvinger. Deler av undervisningen kan bli gitt på engelsk.
Obligatoriske aktiviteter
- Øvinger
Mer om vurdering
Karakter basert på avsluttende skriftlig eksamen.
Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.
Anbefalte forkunnskaper
Matematikk fra videregående skole.
Kursmateriell
Oppgis ved kursets start.
Studiepoengreduksjon
| Emnekode | Reduksjon | Fra |
|---|---|---|
| MNFMA012 | 7,5 sp | |
| MA0302 | 3,7 sp | Høst 2007 |
| TMA4140 | 3,7 sp | Høst 2007 |
| TMA4412 | 5 sp | Høst 2025 |
Fagområder
- Matematikk
Kontaktinformasjon
Eksamen
Eksamen
Ordinær eksamen - Vår 2026
Skriftlig skoleeksamen
Oppgitt rom kan endres og endelig plassering vil være klar senest 3 dager før eksamen. Du finner din romplassering på Studentweb.