Елементи некласичної математичної логіки: Підручник (2598479)
980 ₴
1
Хотите получить товар в подарок, но не знаете, как об этом сказать? Просто нажмите сюда, чтобы намекнуть о своем желании.
Оплата и возврат
Оплата картой или наличными при получении
Оплата с использованием промокода или подарочного сертификата для этого товара не доступна
Продавец может предложить внести частичную предоплату за заказ. В этом случае он уведомит реквизиты для оплаты при подтверждении заказа
Вы можете вернуть товар в течение 14 дней в соответствии с Законом Украины «О защите прав потребителей»
Покупатели также интересовались
- Безкоштовна доставка
Cambridge University Press
English Unlimited Upper-Intermediate Classware DVD-ROM (2004547)1 160 ₴ - Безкоштовна доставка
Фоліо
Історія запорізьких козаків. Книга 3 (Великий науковий проект) (2289726)1 049 ₴ - Безкоштовна доставка
Thames & Hudson
Spritz Fever!: Sixty Champagne and Sparkling Wine Cocktails (2003082)1 071 ₴ - Безкоштовна доставка
Cambridge University Press
Active Grammar Level 3 Book WITHOUT answers and CD-ROM (2002489)1 002 ₴ - Безкоштовна доставка
Brand
Marketing In The Age Of Google: Your Online Strategy Is Your Business Strategy (2000785)965 ₴ - Безкоштовна доставка
Методика
Das neue Deuthmobil. Підручник 1 - Курс для вивчення німецької мови для дітей: Навч. посіб. (2359100)1 004 ₴ - Безкоштовна доставка
Vintage
Nexus: A Brief History of Information Networks from the Stone Age to AI (2001233)1 358 ₴
Описание товара
У підручнику розглянуті основні логічні мови, які мають назву некласичних. Оскільки ці логічні мови включають елементи класичних логік, то спочатку наводяться класичні логіки – логіка висловлювань і логіка предикатів. А потім на їх основі вводяться некласичні логіки: багатозначні, нечіткі, модальні, мультимодальні, динамічні, темпоральні та дескриптивні. Представлені приклади застосування цих логік до аналізу природомовних текстів та верифікації дискретних систем, які моделюються транзиційними системами. Крім цих логічних мов в додатках представлені огляди проблем уніфікації в теоріях першого порядку та застосування булевих функцій для ефективного зображення дискретних систем.
Для викладачів, наукових співорбітників, аспірантів, здобувачів вищої освіти за напрямками “Комп’ютерні науки”, “Програмна інженерія”, “Програмне забезпечення систем”.
Отзывы и вопросы о товаре 0
0.0
Нет оценок
Помогите другим пользователям с выбором — будьте первым, кто поделится своим мнением об этом товаре.