Паперова книга

В наявності

Special Price 980₴ ціна ЄКЛУБ КРАЩА ціна Regular Price 1207₴

Знижка 19%, встигни!

Залишилось:

Автор	Сергій Кривий
Видавництво	Видавничий центр «Кафедра»
Рік видання	2026
Мова	Українська
Кількість сторінок	608
Обкладинка	М'яка
Вага	0.511
ISBN	9789662711981
Формат	145x205x24мм
Тип	Паперова книга
Наявність ілюстрацій	Ні
Перекладна	Ні

Показати все

Анотація "Елементи некласичної математичної логіки", Сергій Кривий

У підручнику розглянуті основні логічні мови, які мають назву некласичних. Оскільки ці логічні мови включають елементи класичних логік, то спочатку наводяться класичні логіки – логіка висловлювань і логіка предикатів. А потім на їх основі вводяться некласичні логіки: багатозначні, нечіткі, модальні, мультимодальні, динамічні, темпоральні та дескриптивні. Представлені приклади застосування цих логік до аналізу природомовних текстів та верифікації дискретних систем, які моделюються транзиційними системами. Крім цих логічних мов в додатках представлені огляди проблем уніфікації в теоріях першого порядку та застосування булевих функцій для ефективного зображення дискретних систем.
Для викладачів, наукових співорбітників, аспірантів, здобувачів вищої освіти за напрямками «Комп’ютерні науки», «Програмна інженерія», «Програмне забезпечення систем».