Дискретна математика. Вибрані питання
- Стоимость от 29 грн
- Срок доставки 1-4 дня
- Доставляем службами Новая Почта или УкрПочта
- Бесплатная доставка от 1000 грн
- Международная отправка (доставка в другие страны мира)
- Возврат, обмен в течение 14 дней
- Наличными (в отделении курьерской службы)
- Картой VISA или MASTERCARD
- Apple Pay
- Google Pay
В руководстве рассматриваются основные понятия теории множеств и отношений, общей алгебры, математической логики и теории алгоритмов. В частности, описываются алгебры множеств и отношений, алгебра булевых функций и графическое представление булевых функций посредством упорядоченных бинарных диаграмм решений, а также важнейшие применения этого представления для задания отношений, графов, конечных автоматов и т.д.
Представлены формальные логические языки (логика высказываний, линейная темпоральная логика и логика предикатов первого порядка), основные методы проверки выполняемости формул на этих языках и резолюций с унификацией. Рассмотрены основные понятия теории сложности вычислений по Тьюрингу и основные классы сложности вычислений, а также описаны такие модели вычислений как НАМ и РКАМ (для оценки последовательных и параллельных алгоритмов). В последних главах рассматриваются способы анализа сетей Петри.