Друзі, ми продовжуємо працювати в Харкові. Віримо в ЗСУ і Нашу Перемогу! Слава Україні!
Ваша корзина пуста.
Версия сайта на русском языке
Вы всегда можете переключить на украинский язык, воспользовавшись переключателем в шапке сайта
СПАСИБО
Личный кабинет
Категории книг
- Рабочие тетради Gakken
- Рабочие тетради KUMON. Все книги серии!
- Самым маленьким
- Дошкольникам
- Школьникам
- Для подростков
- Для родителей
- Приключения Евы Шабшай
У світі мандрів і міграцій
500 грн
- PR. Брендинг
- Сервис / Маркетинг услуг
- Маркетинговые исследования
- Стратегический маркетинг
- Интернет-маркетинг
- Презентация
Клиенты на всю жизнь
400 грн
Коббл-Гілл
450 грн
Дискретна математика. Вибрані питання
| Код товара: 143261 |
Фото
Код товара: 143261
140 грн
- Дешевле не найдешь
- Только оригинальные книги
- Бесплатная доставка от 1500 грн
-
- Доставка:
- Стоимость от 29 грн
- Срок доставки 1-4 дня
- Доставляем службами Новая Почта или УкрПочта
-
- Гарантия:
- Возврат, обмен в течение 14 дней
-
- Варианты оплаты:
- Наличными (в отделении курьерской службы)
- Картой VISA или MASTERCARD
Автор: Сергій Кривий
Издательство: Видавничий дім «Києво-Могилянська академія»
Переплет
Твердый
К-во страниц
572 стр
ISBN
978-966-518-432-4
Формат
145x220 мм
Язык
украинский
- Дешевле не найдешь
- Только оригинальные книги
- Бесплатная доставка от 1500 грн
Описание книги Дискретна математика. Вибрані питання
В руководстве рассматриваются основные понятия теории множеств и отношений, общей алгебры, математической логики и теории алгоритмов. В частности, описываются алгебры множеств и отношений, алгебра булевых функций и графическое представление булевых функций посредством упорядоченных бинарных диаграмм решений, а также важнейшие применения этого представления для задания отношений, графов, конечных автоматов и т.д.
Представлены формальные логические языки (логика высказываний, линейная темпоральная логика и логика предикатов первого порядка), основные методы проверки выполняемости формул на этих языках и резолюций с унификацией. Рассмотрены основные понятия теории сложности вычислений по Тьюрингу и основные классы сложности вычислений, а также описаны такие модели вычислений как НАМ и РКАМ (для оценки последовательных и параллельных алгоритмов). В последних главах рассматриваются способы анализа сетей Петри.