Diskrete strukturar
- Studiepoeng10
- UndervisingssemesterVår
- EmnekodeMNF130
- Talet på semester1
- SpråkNorsk
- Ressursar
Hovedinnhold
Undervisningssemester
Vår
Emnet har eit avgrensa tall på plassar og inngår i undervisningsopptaket.
Meir informasjon: http://www.uib.no/matnat/utdanning/studiehverdag/undervisningsopptaket
Frist for å melde seg til undervising i emnet er onsdag i veke 2 for vårsemesteret. Du får svar på om du har fått plass på emnet på Studentweb seinast tysdag veka etter fristen.
Tidspunkt for første forelesing/orienteringsmøtet finn du i timeplanen på nettsida til emnet eller på Mitt UiB.
Det er obligatorisk oppmøte på første førelesning.
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
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
Eksamensinformasjon
Klokkeslett for oppstart av skriftlig eksamen kan endre seg fra kl 09.00 til 15.00 eller vice versa inntil 14 dager før eksamen.
Vurderingsordning: Skriftleg skuleeksamen
- Dato
- 06.10.2023, 09:00
- Varigheit
- 3 timer
- Trekkfrist
- 22.09.2023
- Eksamenssystem
- Inspera
- Digital eksamen
- Sted
- Solheimsgt. 18 (Administrasjonsbygget), SOL 4. etg.