MA-180 Diskret matematikk 1
- Studiepoeng:
- 5
- Ansvarlig avdeling:
- Fakultet for teknologi og realfag
- Emneansvarlig:
- Folke Haugland
- Undervisningssemester:
- Vår
- Undervisningsspråk:
- Emnet undervises på norsk.
- Varighet:
- 1 semester
Emnet er tilknyttet følgende studieprogram
- IKT årsstudium
- Ingeniørfag - data, bachelorprogram
- Ingeniørfag - elektronikk, bachelorprogram
- Kunstig intelligens, 5-årig masterprogram
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.
Vilkår for å gå opp til eksamen
Tilstrekkelig antall godkjente obligatoriske oppgaver. Antall oppgaver angis ved semesterstart i Canvas.
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
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.
Eksamen
4 timer skriftlig eksamen. Gradert karakter.
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 |