Emner: MNF130 Diskrete strukturer - Vår 2024
Studiepoeng
10.0Undervisningsspråk
Norsk
Undervisningssemester
Vår
Undervisningsstad
Bergen
Mål og innhald
Emnet dekker enkel mengdelære og logikk, funksjonar og relasjonar, permutasjonar og kombinasjonar, innføring i bevisteknikkar inkludert induksjon, enkle algoritmar bl.a. med rekursjon og sanningsbevis, grafterminologi, grammatikk for enkle språk og endelege automatar.
Læringsutbyte
Etter fullført MNF130 skal studenten kunne
- gjennomføre enkle formelle resonnement i utsegnslogikk og predikatlogikk, bl.a. ved bruk av induksjon.
- bruke elementær mengdelære til å formulere enkle problemstillingar på ei matematisk presis måte ved bruk av funksjonar og relasjonar.
- bruke dette på eit elementært nivå innan algoritmar, talteori, sannsynsrekning, kombinatoriske problem, grafar og formelle språk.
Krav til forkunnskapar
Ingen
Studiepoengsreduksjon
IM005: 10 ECTS
INFO102: 5 ECTS
DASP130: 10 ECTS
INFO104: 10 ECTS
Krav til studierett
For oppstart på emnet er det krav om ein studierett knytt til Det matematisk-naturvitskaplege fakultet, samt at du oppfyller ev opptakskrav
Obligatorisk undervisningsaktivitet
Godkjende obligatoriske oppgåver.
Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgjande semesteret.
Vurderingsformer
Skriftleg eksamen på 3 timar. Det er høve til å gi karakter på oppgåvene som kan inngå i sluttkarakteren.
Hjelpemiddel til eksamen
Ingen
Karakterskala
Ved sensur av emnet vert karakterskalaen A-F nytta.
Vurderingssemester
Det er ordinær eksamen kvart semester. I semesteret utan undervisning er eksamen tidleg i semesteret.
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
Kontaktinformasjon
Emnet eigast av Institutt for informatikk.
Kontakt mailto:studieveileder@ii.uib.nostudieveileder@ii.uib.no