MAT101 Diskret matematikk 1
Emneplan for studieåret 2024/2025
Innhold og oppbygning
Emnet skal gi en innføring i diskret matematikk som er aktuell for dataingeniører. Det vil også bli lagt vekt på hvordan matematikk blir representert og brukt i datamaskiner.
Innhold
- Boolsk algebra
- Tall og tallsystemer
- Mengdelære, relasjoner
- Grafer
- Funksjoner (både matematisk og som metoder i et programmeringsspråk)
- Induksjon (matematisk og strukturell)
- Rekursjon
- Enkel bevisførsel (utsagns- og predikatlogikk, slutningsregler)
- Representasjon av hel- og flyttall i en datamaskin
- Modulregning
- Samenhengen mellom funksjoner og programmering
Læringsutbytte
Ved fullført dette emnet skal studenten kunne:
Kunnskap
- gjøre rede for hvordan tall representeres i en datamaskin
- forklare bruk av matematisk notasjon for boolsk algebra, mengdelære og funksjoner
- gjøre rede for hvordan grafer brukes og forklare algoritmer i grafteori
Ferdigheter
- gjennomføre et enkelt matematisk bevis
- implementere matematiske løsninger i et programmeringsspråk
- løse problemer uttrykt ved hjelp av grafer
Generell kompetanse
- ha en forståelse for samspillet mellom matematikk og datamaskiner som er nødvendig for videre faglig utvikling
- foreta grundige og presise logiske resonnementer
Krav til forkunnskaper
Ingen
Undervisnings- og læringsformer
Forelesninger. Praktiske programmerings- og regneøvelser alene og i grupper.
Obligatorisk læringsaktivitet
Fire obligatoriske øvinger må være gjennomført til fastsatte frister og godkjent før eksamen kan avlegges.
Godkjente øvinger gir også adgang til ny eksamen (kontinuasjonseksamen) påfølgende semester.
Etter dette må obligatoriske innleveringer gjennomføres på nytt.
Vurderingsform
Skriftlig skoleeksamen, 4 timer. Karakterskala A-F, der F tilsvarer ikke bestått.
Hjelpemidler ved eksamen
Ingen.
Mer om hjelpemidlerFaglig overlapping
- FOA154 - Diskret matematikk - Reduksjon: 5 studiepoeng
- FOA180 - Diskret matematikk I og lineær algebra - Reduksjon: 5 studiepoeng
- TOD065 - Diskret matematisk programmering - Reduksjon: 5 studiepoeng