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