Дискретні структури є фундаментальною основою програмної інженерії: це всім відомо і це дуже добре.
Але, з іншого боку, дискретні структури можна сприймати як добірку алгоритмічних "рецептів" - алгоритмів для розв'язання практичних завдань.
Дискретні структури, засновані на логіці предикатів, теорії графів та добірка рішень з теорії чисел обов'язково стануть на пригоді кожному справжньому програмісту.

Вивчаються математичні основи теорії чисел та основні алгоритми, що дозволяють розв`язувати ці задачі.

У програмі курсу: метод математичної індукції, розв`язання рекурсійних цілочислових рівнянь,  основи теорії чисел, алгоритм Евкліда, алгоритми факторізації чисел, алгоритми швидкого піднесення до ступеню, алгоритми пошуку комбінаторних коефіціентів, алгоритми роботи з великими числами.