Diskret matematikk

Emnet er obligatorisk i studieprogrammene Informatikk, sivilingeniør - master (5-årig), Informatikk datafag (Mo i Rana), samt studieretningen Matematikk - Lektorutdanning for trinn 8-13 - master (5-årig). Det kan også tas som enkeltemne.

Kurset er et introduksjonskurs i matematikk som spesielt dekker matematiske strukturer som har anvendelser i informatikk. Det gis en introduksjon til fundamentale begreper i matematikk som mengder og funksjoner og inkluderer logikk og ulike bevisteknikker. Andre emner som vektlegges er kombinatorikk med sannsynlighetsregning og grafteori. Det gis en innføring i bruk av Mathematica som numerisk, symbolsk og grafisk verktøy, og for enkel programmering.

Kurset er et introduksjonskurs i matematikk som dekker diskrete matematiske strukturer. Det gis en introduksjon til fundamentale begreper i matematikk som mengder, funksjoner, logikk, og ulike bevisteknikker. Andre emner som vektlegges er kombinatorikk med sannsynlighetsregning, grunnleggende tallteori, og grafteori. Anvendelser om diskrete strukturer til informatikk diskuteres. De diskrete strukturene som diskuteres varierer fra år til år og er tilpasset studentene.

Generell studiekompetanse og følgende spesielle opptakskrav: Matematikk R1 og i tillegg enten:

• Matematikk R2

• Fysikk 1 + 2 eller

• Kjemi 1+ 2 eller

• Biologi 1 + 2 eller

• Informasjonsteknologi 1 +2 eller

• Geofag 1 + 2 eller

• Teknologi og forskningslære 1 + 2

Søknadskode 9197 (kravkode REALFA): Enkeltemner i realfag, lavere grad.

Emnet er en introduksjon til matematikken som spesielt dekker diskrete matematiske strukturer. Etter fullført kurs skal studentene:

Kunne lese og forstå matematiske argumenter og selv kunne skrive enkle bevis, herunder også induksjonsbeviser

Beherske matematikkens basale strukturer som mengder, funksjoner, og relasjoner.

Kjenne til grunnleggende tallteori og modulær aritmetikk

Beherske basale kombinatoriske telleteknikker som produkt- og summeregel, dueslagprinsippet, og andre kombinatoriske telleteknikker

Kunne analysere og bevise grunnleggende resultater om forskjellige diskrete strukturer, som grafer, rettet grafer, endelige grupper, og partiell ordninger

Kunne anvende de matematiske resultatene om diskrete strukturer til informatikk

Du vil få en reduksjon i antall studiepoeng (som oppgitt under), dersom du avlegger eksamen i dette emnet og har bestått følgende emne(r) fra før av:

• MAT-6053 Innføring i logikk, bevis, resonnering og argumentasjon med programmering 5 stp

Undervisnings- og eksamensspråk

Kontinuasjonseksamen