Дискретна математика. Вибрані питання

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

Представлены формальные логические языки (логика высказываний, линейная темпоральная логика и логика предикатов первого порядка), основные методы проверки выполняемости формул на этих языках и резолюций с унификацией. Рассмотрены основные понятия теории сложности вычислений по Тьюрингу и основные классы сложности вычислений, а также описаны такие модели вычислений как НАМ и РКАМ (для оценки последовательных и параллельных алгоритмов). В последних главах рассматриваются способы анализа сетей Петри.