Елементи некласичної математичної логіки
Автор: Сергій Кривий
В наявності
Зареєструйтесь або увійдіть, щоб додавати книги до списків
Зареєструйтесь або увійдіть, щоб вести читацький щоденник
Кількість сторінок608
Рік видання2026
Мова
Категорії
У підручнику розглянуті основні логічні мови, які мають назву некласичних. Оскільки ці логічні мови включають елементи класичних логік, то спочатку наводяться класичні логіки – логіка висловлювань і логіка предикатів. А потім на їх основі вводяться некласичні логіки: багатозначні, нечіткі, модальні, мультимодальні, динамічні, темпоральні та дескриптивні. Представлені приклади застосування цих логік до аналізу природомовних текстів та верифікації дискретних систем, які моделюються транзиційними системами. Крім цих логічних мов в додатках представлені огляди проблем уніфікації в теоріях першого порядку та застосування булевих функцій для ефективного зображення дискретних систем.
Для викладачів, наукових співорбітників, аспірантів, здобувачів вищої освіти за напрямками "Комп'ютерні науки", "Програмна інженерія", "Програмне забезпечення систем".
Для викладачів, наукових співорбітників, аспірантів, здобувачів вищої освіти за напрямками "Комп'ютерні науки", "Програмна інженерія", "Програмне забезпечення систем".
Де можна придбати
MEGOGO BOOKS
• Кафедра • М'яка обкладинка
980 грн735 грн -15% діє з промокодом KEBUK-10% При ввімкненому кешбеку від SenseBank
Коментарі
Немає коментарів. Будьте першим, хто залишить коментар!