Дискретна математика. Вибрані питання. Discrete Math. Selected Questions
Дискретна математика. Вибрані питання. Discrete Math. Selected Questions
Couldn't load pickup availability
Share
Author
Author
Sergey Kryvoi / Сергій Кривий
Dimension
Dimension
145x220mm (5,7'x8,7')
ISBN
ISBN
9789665184324
Format
Format
Hardcover
Language
Language
Ukrainian
Page Count
Page Count
572
Publisher
Publisher
Києво-Могилянська академія
Year of book publication
Year of book publication
2007
Дискретна математика. Вибрані питання. Discrete Math. Selected Questions
У посібнику розглядаються основні поняття теорії множин та відношень, загальної алгебри, математичної логіки і теорії алгоритмів. Зокрема, описуються алгебри множин і відношень, алгебра булевих функцій і графічне представлення булевих функцій у вигляді упорядкованих бінарних діаграм розв’язків, а також найважливіші застосування цього представлення для задання відношень, графів, скінченних автоматів тощо. Представлені формальні логічні мови (логіка висловлювань, лінійна темпоральна логіка та логіка предикатів першого порядку), основні методи перевірки виконуваності формул в цих мовах та метод резолюцій із уніфікацією. Розглянуто основні поняття теорії складності обчислень за Тьюрингом та основні класи складності обчислень, а також описано такі моделі обчислень, як НАМ і РКАМ (для оцінки послідовних та паралельних алгоритмів). У останніх розділах розглядаються методи аналізу мереж Петрі.
Навчальний посібник призначено для студентів старших курсів вищих навчальних закладів та аспірантів, які навчаються за напрямком 'Комп’ютерні науки'.SPECIFICATIONS:
Author:Sergey Kryvoi - Сергій Кривий
Publisher:Києво-Могилянська академія
Language:Ukrainian/Українська
Publication Date:2007
Number of pages:572 pst
Format:Hardcover
Width:145 mm / 5,7'
Height:220 mm / 8,7'
Weight:746 g
ISBN:9789665184324
