ДиптихДитячий Кобзар

Дискретна математика: Вибр. питання  Навч. посібник


Дискретна математика: Вибр. питання Навч. посібник

Кривий С.Л.

( Видавництво: ВД " Києво-Могилянська академія" )
Ціна: 34.00 грн


У посібнику розглядаються основні поняття теорії множин та відношень, загальної алгебри, математичної логіки і теорії алгоритмів. Зокрема, описуються алгебри множин і відношень, алгебра булевих функцій і графічне представлення булевих функцій у вигляді упорядкованих бінарних діаграм розв’язків, а також найважливіші застосування цього представлення для задання відношень, графів, скінченних автоматів тощо. Представлені формальні логічні мови (логіка висловлювань, лінійна темпоральна логіка та логіка предикатів першого порядку), основні методи перевірки виконуваності формул в цих мовах та метод резолюцій із уніфікацією. Розглянуто основні поняття теорії складності обчислень за Тьюрингом та основні класи складності обчислень, а також описано такі моделі обчислень, як НАМ і РКАМ (для оцінки послідовних та паралельних алгоритмів). У останніх розділах розглядаються методи аналізу мереж Петрі.

Навчальний посібник призначено для студентів старших курсів вищих навчальних закладів та аспірантів, які навчаються за напрямком «Комп’ютерні науки».

обкладинка: Тверда
кількість сторінок: 572
формат: 60х90/16
рік видання: 2007






Категорії


Біологія

Географія

Екологія

Математика

Фізика

Хімія

Статистика

Наука про землю.Краєзнавство

Кошик

akBooks

Ваш кошик наразі порожній.

Новинки

Практичний словник синонімів української мови. 5-те видання
Практичний словник синонімів української мови. 5-те видання
180.00 грн

КОЛЯДИ Для змішаного хору Видання 1
КОЛЯДИ Для змішаного хору Видання 1
64.00 грн

Книга юного джентельмена
Книга юного джентельмена
45.00 грн

Книга юної леді
Книга юної леді
45.00 грн

100 експрес-уроків української
100 експрес-уроків української
95.00 грн

Випадкові книги

Чудове чудовисько
Чудове чудовисько
55.00 грн

ИСТОРИЯ ЧЕМПИОНАТОВ ЕВРОПЫ ПО ФУТБОЛУ
ИСТОРИЯ ЧЕМПИОНАТОВ ЕВРОПЫ ПО ФУТБОЛУ
115.00 грн

Володарка Понтиди
Володарка Понтиди
Напишіть, щоб уточнити ціну

Автомобілі
Автомобілі
45.00 грн

AVE EVA
AVE EVA
51.00 грн