Елементи некласичної математичної логіки
В наличии
Код товару: 165643
980 грн
В корзину
КУПИТЬ В ОДИН КЛИК
Елементи некласичної математичної логіки
Автор:
Кривий С.Л.
Количество страниц:
608
Год выпуска:
2026
ISBN:
978-966-2711-98-1
Смотреть все характеристики
Издательство:
Язык:
українська
Переплет:
мягкий
Бумага:
Офсетная
Формат:
60*84/16(145мм*200мм) Средний
Виды изданий:
Свернуть
Доставка і оплата
Если заказ свыше 2000 грн
- по тарифам перевозчика!
Курьером по Киеву 1-2дня
- до 2000 грн
- 55 грн
- свыше 2000 грн
- бесплатно
Транспортными службами по Украине
- Укрпошта
- 3-7 дней
- Нова Пошта
- 2-3 дня
Оплата
Наличными, Безналичными, Visa/MasterCard
Описание книги Елементи некласичної математичної логіки
У підручнику розглянуті основні логічні мови, які мають назву некласичних. Оскільки ці логічні мови включають елементи класичних логік, то спочатку наводяться класичні логіки – логіка висловлювань і логіка предикатів. А потім на їх основі вводяться некласичні логіки: багатозначні, нечіткі, модальні, мультимодальні, динамічні, темпоральні та дескриптивні. Представлені приклади застосування цих логік до аналізу природомовних текстів та верифікації дискретних систем, які моделюються транзиційними системами. Крім цих логічних мов в додатках представлені огляди проблем уніфікації в теоріях першого порядку та застосування булевих функцій для ефективного зображення дискретних систем.
Для викладачів, наукових співорбітників, аспірантів, здобувачів вищої освіти за напрямками “Комп’ютерні науки”, “Програмна інженерія”, “Програмне забезпечення систем”.
Хиты продаж
Хит продаж
Хит продаж
