Högskola och universitet hos Umeå universitet, 7,5 högskolepoäng.
Modul 1 (6,5 hp): Matematisk teori för diskret matematik.
I modulen behandlas grundläggande logik, mängdlära, relationer och funktioner. Vidare studeras olika bevistekniker, såsom motsägelsebevis och matematisk induktion. En introduktion till elementär talteori och kombinatorik ges. Dessutom behandlas grundläggande grafteori med tillämpningar. Slutligen behandlas begreppen algoritm och komplexitet och en rad exempel ges inom talteori, grafteori och sortering.
Modul 2 (1 hp): Datorlaborationer.
I modulen ges en introduktion till hur man kan använda digitala verktyg för att lösa problem inom diskret matematik.