Högskola och universitet hos Högskolan Dalarna, 7,5 högskolepoäng.
I kursen studeras algebraiska system som inkluderar modulär aritmetik och polynomaritmetik. Logik och mängdlära behandlas såsom grafteori, satslogik, sanningsvärden, mängder och mängdoperationer, samt funktioner och relationer. Vidare behandlas grundläggande kunskaper i talteori och kombinatorik såsom delare och primtal, divisionsalgoritmen, Euklides algoritm, aritmetikens fundamentalsats, induktion och rekursion, permutationer och kombinationer samt binomialteoremet.
Kursens teoretiska innehåll utforskas genom programmeringsövningar för att förstå hur datavetenskap är grundade i logik och matematik.