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