Крывной С. Л. Дискретная математика. Выбранные вопросы. Крывной С. Л. Киево-Могилянская академия
-5%
266 ₴
252 ₴
- Готово к отправке
- Код: 11376599
+380 (93) 725-93-47
Крывной С. Л. Дискретная математика. Выбранные вопросы. Крывной С. Л. Киево-Могилянская академия
266 ₴252 ₴
Готово к отправкеУ компании подключены электронные платежи. Теперь вы можете купить любой товар не покидая сайта.
возврат товара в течение 14 дней за счет покупателя
Описание
Характеристики
Информация для заказа
В пособии рассматриваются основные понятия теории множественностей и отношений, общей алгебры, математической логики и теории алгоритмов. В частности, описываются алгебры множествен и отношений, алгебура булевых функций и графическое представление булевых функций в виде введенных бинарных диаграмм решений, а также важнейшие применения этого представления для подачи отношений, графов, Сделанных автоматов и т.д. Представлены формальные логические языки (логика выражений, линейная темпоральная логика и логика предикатов первого порядка), основные методы проверки выполняемости формул в этих языках и метод резолюций с унифицированностью. Рассмотрены основные понятия теории сложности вычислений по Тьюрингу и основным классам сложности вычислений, а также описано такие модели вычислений, как НАМ и РКАМ (для оценки последовательных и параллельных алгоритмов). В последних главах рассматриваются методы анализа сетей Петри. Учебное пособие предназначено для студентов старших курсов более высоких учебных заведений и аспирантов, обучающихся за напряжение
| Основные атрибуты | |
|---|---|
| ISBN | 9789665184324 |
| Количество страниц | 572 |
| Пользовательские характеристики | |
| Автор | Кривий С. Л. |
| Год издания | 2007 |
| Издательство | Києво-Могилянська академія |
| Переплет | Тверда |
| Язык | укр |
- Цена: 252 ₴