Елементи некласичної математичної логіки. Elements Of Non-Classical Mathematical Logic

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

Для викладачів, наукових співробітників, аспірантів, здобувачів вищої освіти за напрямками 'Комп’ютерні науки', 'Програмна інженерія', 'Програмне забезпечення систем'.

SPECIFICATIONS:

Author:Sergey Kryvoi - Сергій Кривий

Publisher:Кафедра

Language:Ukrainian/Українська

Publication Date:2026

Number of pages:608 pst

Format:Paperback

Width:130 mm / 5,1'

Height:200 mm / 7,9'

Weight:440 g

Illustrations:Scheme

ISBN:978‐966‐2711‐981