Дискретная математика — это раздел математики, изучающий свойства дискретных структур, которые возникают как в самой математике, так и в её приложениях. В более узком понимании дискретная математика рассматривается как совокупность разделов, которые связаны с информатикой и вычислительной техникой, в частности, к ним относятся теория графов, теория функциональных систем, теория автоматов, комбинаторика и теория кодирования, целочисленное программирование. В широком смысле дискретная математика включает в себя такие разделы математики как теория чисел, теория множеств, алгебра, математическая логика и прочие. Некоторые основные понятия дискретной математики: