Одиссей +380444960470

Дискретна математика. Вибрані питання. Кривий С. Л. Києво-Могилянська академія


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

Контакти
Ви можете надіслати нам запит електронною поштою
  Очистити

Пока никто не оставлял комментарии! Будьте первыми!


Новинки!
Дискретна математика. Вибрані питання. Кривий С. Л. Києво-Могилянська академія вибрати та замовити за виправданою вартістю в каталозі книг Одіссей зі зручною доставкою у всі міста України. Напишіть нашому фахівцеві у каталозі книг Одіссей і ми привеземо у Мелітополь, Біла Церква, Тернопіль та інші куточки країни. Книги по рубриках: Філософія. Філософські науки, Мови та середовища програмування, Журнал Мир (Афіша) або інший аналог приємних виробів від виробника, можна вибрати та замовити з великого асортименту товарів. Найкраща пропозиція купити Дискретна математика. Вибрані питання. Кривий С. Л. Києво-Могилянська академія на сайті odissey.kiev.ua або за номером (093) 720 91 82.