Kursen behandlar 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.
