Diskrete strukturar
³¢Ã¥²µ²¹°ù±ð²µ°ù²¹»å²õ±ð³¾²Ô±ð
- Studiepoeng
- 10
- Undervisningssemester ³ÕÃ¥°ù
- Emnekode
- MNF130
- Talet på semester
- 1
- ±«²Ô»å±ð°ù±¹¾±²õ²Ô¾±²Ô²µ²õ²õ±è°ùÃ¥°ì
- Norsk.³ÕÃ¥°ù 2026: engelsk.
- Ressursar
-
Emnebeskrivelse
MÃ¥l og innhold
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.
³¢Ã¦°ù¾±²Ô²µ²õ³Ü³Ù²ú²â³Ù³Ù±ð
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
³ÕÃ¥°ù
Undervisningssted
Bergen
Krav til forkunnskaper
Ingen
Studiepoengsreduksjon
Krav til studierett
For oppstart på emnet er det krav om ein studierett knytt til Fakultet for naturvitskap og teknologi, 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
Mappevurdering. Mappa bestÃ¥r av innleveringar og skriftleg skuleeksamen (3 timar). BÃ¥de innleveringar og eksamen mÃ¥ vere bestÃ¥tt dÃ¥ elementa testar emnet sitt læringsutbyte. Vektinga vert kunngjort pÃ¥ Mitt ºÚÁϳԹÏ×ÊÔ´ ved semesterstart.
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 ºÚÁϳԹÏ×ÊÔ´ og instituttet sitt kvalitetssikringssystem.
Hjelpemiddel til eksamen
Ingen.