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