Introduktion till diskret matematik, 7,5 hp

Innehåll

I kursen behandlas funktioner, och hur dessa används vid enumeration, samt mer avancerade enumerationstekniker. En introduktion ges till egenskaper hos heltalen. Slutligen behandlas begreppen algoritm och komplexitet, och en rad exempel ges från grafteori och sorteringsproblem.

Förväntade studieresultat

För godkänd kurs ska studenten kunna
Kunskap och förståelse

• redogöra för grundläggande talteori
• redogöra för grundläggande grafteori

Färdighet och förmåga

• lösa enumerationsproblem med de tekniker som behandlats i kursen
• lösa problem för delbarhet och primtal.
• lösa de optimeringsproblem som behandlats i kursen

Värderingsförmåga och förhållningssätt

• analysera ett urval sorteringsalgoritmer och grafalgoritmer med avseende på korrekthet och komplexitet.

Behörighetskrav

För tillträde till kursen krävs Matematiska verktyg (5MA026) eller Metoder och verktyg för datavetare (5DV107) eller någon annan inledande kurs med matematikinslag på ett civilingenjörsprogram, eller motsvarande kunskaper.

Undervisningens upplägg

Undervisningen bedrivs i huvudsak i form av föreläsningar och lektionsundervisning.

Examination

Examinationen sker genom skriftliga prov. För att bli godkänd på kursen krävs att samtliga prov är godkända. På kursen ges något av betygen Underkänd (U), Godkänd (3), Icke utan beröm godkänd (4) eller Med beröm godkänd (5). Betyget på kursen utgör en sammanfattande bedömning av resultatet vid examinationens olika delar och sätts först när alla delar är godkända. Den som erhållit betyget godkänt på kursen kan ej examineras för högre betyg. För studerande som inte blivit godkänd vid ordinarie provtillfälle anordnas ytterligare provtillfälle.
En student som utan godkänt resultat har genomgått två prov för en kurs eller en del av en kurs, har rätt att få en annan examinator utsedd, om inte särskilda skäl talar emot det (HF 6 kap. 22 §). Begäran om ny examinator ställs till prefekten vid Institutionen för matematik och matematisk statistik. Examination baserad på denna kursplan garanteras under minst två år efter studentens förstagångsregistrering på kursen.

Tillgodoräknande
Tillgodoräknande prövas alltid individuellt (se universitetets regelsamling och tillgodoräknandeordning).