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.
Den här kursen innehåller tillfällen som är en del av ett program på Umeå universitet. Du kan bara söka kursen om du går det programmet. Information om ansökningstider och vad som gäller för dig får du från din institution.
