Emnet er tilknyttet følgende studieprogram

Undervisningsspråk

Emnet undervises på norsk.

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

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.

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.

Studentevaluering

Emneansvarlig fastsetter i samråd med studenttillitsvalgt evalueringsform og om emnene skal ha midtveis- eller sluttevaluering i tråd med kvalitetssystemet kapittel 4.1.

Tilbys som enkeltemne

Ja. Med forbehold om ledig plass/kapasitet.

Opptakskrav hvis tilbudt som enkeltemne

Generell studiekompetanse med R1, R2 og Fysikk 1 eller tilsvarende, eller ettårig forkurs for ingeniørutdanning.

Eksamen

Mappe. Krav til innhold i mappen gis ved semesterstart i Canvas. Gradering bestått/ikke bestått

 

 

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 Felles Studentsystem (FS) 30. juni 2024 02:39:34