Diskrete strukturar
Undervisningsperiode :
- Inneværende semester
- Neste semester
Aktuelle studieprogram
| Studiepoeng | 10 |
| Undervisningssemester | Vår (Fargekode: grønn) |
| Fagleg overlapp | IM005: 10 SP. INFO102: 5 sp |
| Timeplan | Se timeplan |
| Pensumliste | Se pensumliste |
Undervisningsspråk
Norsk
Krav til forkunnskapar
Ingen
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.
Kontaktinformasjon
Forelesar og Administrativ kontaktperson finn du på Mi side, kontakt ev studiekonsulenten på Insituttet.
Undervisningssemester
Vår (Fargekode: grønn)
Eksamenssemester
Det er ordinær eksamen kvart semester
Undervisningsspråk
Norsk
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
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/resultat
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
Fagleg overlapp
IM005: 10 SP. INFO102: 5 sp
Obligatoriske arbeidskrav
Oppgåver. Obligatoriske aktivitetar er gyldige i 2 semester.
Vurderingsformer
Skriftleg eksamen på 3 timar. Det er høve til å gi karakter på oppgåvene som kan inngå i sluttkarakteren. Ingen lovlege hjelpemiddel.
Karakterskala
Ved sensur av emnet vert karakterskalaen A-F nytta.
Undervisningssted
Bergen
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
Kontaktinformasjon
Forelesar og Administrativ kontaktperson finn du på Mi side, kontakt ev studiekonsulenten på Insituttet.