Celem przedmiotu jest przedstawienie elementów matematyki, które są szczególnie użyteczne dla informatyków i nie są częścią standardowego wykładu algebry, analizy czy rachunku prawdopodobieństwa. W szczególności są to przydatne informatykowi elementy teorii liczb, kombinatoryki i teorii grafów. Wiedza w tym zakresie jest przydatna w konstruowaniu i analizie algorytmów, w tym weryfikacji poprawności i szacowaniu złożoności obliczeniowej.
