Diskrete strukturar

Lågaregradsemne

Emnebeskrivelse

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.

 

Undervisningssemester

Vår

Undervisningsstad

Bergen
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.
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.
Hjelpemiddel til eksamen
Ingen