Matematik GR (A), Diskret matematik för programmerare, 7,5 hp

Syfte

Den studerande ska under kursen tillägna sig grundläggande kunskaper och färdigheter i diskret matematik, i synnerhet de grenar som är av särskilt intresse i datavetenskapliga tillämpningar.

Lärandemål

Efter avslutad kurs ska studenten kunna:
- utföra standardmässiga beräkningar och omforma algebraiska uttryck med viss säkerhet
- läsa, skriva och tolka matematisk text med viss säkerhet inom mängdlära, aritmetik, algebra, grundläggande satslogik och inledande funktionslära
- visa några insikter i heltalen och heltalen modulo n, i synnerhet kunna visa viss förtrogenhet med divisionsalgoritmen och Euklides algoritm
- demonstrera förtrogenhet med elementär grafteoretisk terminologi, i enkla grafer kunna beskriva några samband, och kunna visa förtrogenhet med någon algoritm för att hitta t.ex. minsta uppspännande träd
- hantera följder och summor med viss säkerhet, i synnerhet använda en rekursionsformel till att beräkna elementen i en följd
- visa viss förtrogenhet med elementära begrepp kring funktioner och relationer, i synnerhet kunna avgöra i enkla fall om en funktion är inverterbar och om en relation är en ekvivalensrelation eller inte.

Innehåll

Matematisk notation och metoder: grundläggande logik och matematisk argumentation, mängdlära, kombinatorik, följder, summanotation och fakultet
Elementär talteori, delbarhet, primtal, divisionssatsen, talbaser, Euklides algoritm, moduloräkning
Inledande grafteori och elementära grafteoretiska samband, träd
Några grafteoretiska algoritmer, t ex uppspännande träd
Relationer
Grundläggande funktionslära: injektivitet, surjektivitet, inverterbarhet och sammansättning, i synnerhet för diskreta funktioner

Behörighet

Grundläggande behörighet + Matematik 3b eller 3c eller Matematik C
(Äldre gymnasiebetyg)

Urvalsregler

Urval sker i enlighet med Högskoleförordningen och den lokala antagningsordningen.

Undervisning

Kursmaterial presenteras via en webbaserad undervisningsplattform. Handledning ges via den aktuella undervisningsplattformen.

Examination

T100: Webbexamination med uppföljning, 7,5 hp
Betygsskala: På kursen ges något av betygen A, B, C, D, E, Fx och F. A - E är Godkänt, Fx och F är underkänt.
Frivilliga aktiviteter i form av test (quiz) och inlämningsuppgifter ingår. Dessa schemalagda aktiviteter kan generera bonuspoäng som läggs till poängen på tentamen (T100). Bonuspoängen gäller max ett år från kursstart på det kurstillfälle där de frivilliga aktiviteterna är schemalagda. Hur bonussystemet fungerar beskrivs utförligare i kursmiljön. I anslutning till webbexaminationen kan examinator, eller den denne utser, komma att kontakta ett urval av studenter och ställa frågor angående genomfört prov. Uppföljningen består av frågor som gäller själva genomförandet och de svar som studenten skickat in.

Betygskriterier för ämnet finns på www.miun.se/betygskriterier.

Om student har ett besked från samordnaren vid Mittuniversitetet om pedagogiskt stöd vid funktionsnedsättning, har examinatorn rätt att ge anpassad examination för studenten.

Begränsning av examination

Studenter registrerade på denna version av kursplan har rätt att erbjudas 3 examinationstillfällen inom loppet av 1 år enligt angivna examinationsformer. Därefter gäller examinationsform enligt senast gällande version av kursplan.

Betygsskala

På kursen ges något av betygen A, B, C, D, E, Fx och F. A - E är Godkänt, Fx och F är underkänt.