Innholdsfortegnelse

Emnet er tilknyttet følgende studieprogram

Undervisningsspråk

Emnet undervises på norsk.

Læringsutbytte

Etter fullført emne skal studenten:

Kunnskap:

  • Ha grunnleggende kunnskap innen tallteori, logikk, grafteori, diskret sannsynlighet, beregnbarhet og funksjoner, samt anvendelse av dette.

Ferdigheter:

  • Kunne beskrive de grunnleggende egenskapene til grafer og trær.
  • Kunne utføre traversering av grafer og lage «spanning» tre for grafer.
  • Kunne beskrive en funksjons deler og gi eksempler på funksjoner.
  • Kunne beskrive funksjonell notasjon, samt anvende injektive, surjektive og bijektive funksjoner

Generell kunnskap:

  • Kunne benytte diskret sannsynlighet til å løse kjente problemer.
  • Kunne benytte formelle språk og regulære utrykk.

Innhold

Logikk og mengdelære: utsagnlogikk, predikatlogikk, bevis, boolsk algebra, venn-diagrammer,

Grafteori: graf, trær, løkker/kanter, Eulersti

Kombinatorikk og diskret sannsynlighet

Funksjoner: injektive, surjektive, bijektive

Formelle modeller: endelig tilstands maskiner, regulære utrykk, Turing maskiner, kompleksitet, NP-problemer, beregnbarhet

Undervisnings- og læringsformer

Arbeidsformen i faget er forelesninger, selvstudium, øvinger og obligatoriske oppgaver. Oversikt over obligatoriske oppgaver gis ved semesterstart.

Gjennomsnittlig arbeidsmengde: 135 timer.

Vilkår for å gå opp til eksamen

Tilstrekkelig antall godkjente obligatoriske oppgaver. Antall oppgaver angis ved semesterstart i Canvas.

Eksamen

4 timer skriftlig eksamen. Gradert karakter.

Studentevaluering

Studieprogramleder i samråd med studenttillitsvalgt fastsetter evalueringsform og om emnene skal ha midtveis- eller sluttevaluering, jf. kvalitetssystemet kapittel 4.1. Informasjon om evalueringsform for emnet publiseres i Canvas.

Tilbys som enkeltemne

Ja. Med forbehold om ledig plass/kapasitet.

Reduksjon i studiepoeng

Innholdet i dette emnet dekkes helt eller delvis av annet emne. Tas ett av disse emnene i tillegg, reduseres studiepoengene som følger:

Emne Studiepoengreduksjon
MA-221 – Diskret matematikk. 5
Sist hentet fra FS (Felles studentsystem) 15. okt. 2026 11:46:03