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