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