Högskola och universitet hos Karlstads universitet, 7,5 högskolepoäng.
Kursens huvudsakliga innehåll:-
mängdlära, predikat- och satslogik, boolesk algebra
\- relationer
\- delbarhet, moduloräkning och diofantiska ekvationer
\- induktion, rekursion och algoritmer
\- kombinatorik
\- grafteori
\- genererande funktioner.