КИЕВО-МОГИЛЯНСКАЯ АКАДЕМИЯ, ИЗДАТЕЛЬСКИЙ ДОМ, ООО(ИЗДАТЕЛЬСКИЙ ДОМ "КИЕВО-МОГИЛЯНСКАЯ АКАДЕМИЯ") |
Адрес: г. Киев, пл. Контрактовая, 4
Телефон: +38(044) 4256092
, +38(044) 4257784
Факс: +38(044) 4256092 |
Дискретна математика. Вибрані питання
Продавец: КИЕВО-МОГИЛЯНСКАЯ АКАДЕМИЯ, ИЗДАТЕЛЬСКИЙ ДОМ, ООО
Телефон: +38(044) 4256092
Цена: 25.00 грн / шт
Описание товара
Кривий С. Л. Дискретна математика. Вибрані питання
У посібнику розглядаються основні поняття теорії множин та відношень, загальної алгебри, математичної логіки і теорії алгоритмів. Зокрема, описуються алгебри множин і відношень, алгебра булевих функцій і графічне представлення булевих функцій у вигляді упорядкованих бінарних діаграм розв’язків, а також найважливіші застосування цього представлення для задання відношень, графів, скінченних автоматів тощо. Представлені формальні логічні мови (логіка висловлювань, лінійна темпоральна логіка та логіка предикатів першого порядку), основні методи перевірки виконуваності формул в цих мовах та метод резолюцій із уніфікацією. Розглянуто основні поняття теорії складності обчислень за Тьюрингом та основні класи складності обчислень, а також описано такі моделі обчислень, як НАМ і РКАМ (для оцінки послідовних та паралельних алгоритмів). У останніх розділах розглядаються методи аналізу мереж Петрі.
Навчальний посібник призначено для студентів старших курсів вищих навчальних закладів та аспірантів, які навчаються за напрямком «Комп’ютерні науки».
обкладинка: Тверда
кількість сторінок: 572
формат: 60х90/16
рік видання: 2007
У посібнику розглядаються основні поняття теорії множин та відношень, загальної алгебри, математичної логіки і теорії алгоритмів. Зокрема, описуються алгебри множин і відношень, алгебра булевих функцій і графічне представлення булевих функцій у вигляді упорядкованих бінарних діаграм розв’язків, а також найважливіші застосування цього представлення для задання відношень, графів, скінченних автоматів тощо. Представлені формальні логічні мови (логіка висловлювань, лінійна темпоральна логіка та логіка предикатів першого порядку), основні методи перевірки виконуваності формул в цих мовах та метод резолюцій із уніфікацією. Розглянуто основні поняття теорії складності обчислень за Тьюрингом та основні класи складності обчислень, а також описано такі моделі обчислень, як НАМ і РКАМ (для оцінки послідовних та паралельних алгоритмів). У останніх розділах розглядаються методи аналізу мереж Петрі.
Навчальний посібник призначено для студентів старших курсів вищих навчальних закладів та аспірантів, які навчаються за напрямком «Комп’ютерні науки».
обкладинка: Тверда
кількість сторінок: 572
формат: 60х90/16
рік видання: 2007
Категория: Книги научно-технические