Реляционная интерактивная логика

Описание


Книга посвящена новым инструментам решения логических задач. Логическая задача рассматривается как система логических уравнений и неравенств (СЛУН). Рассматриваются обыкновенные и индуктивные СЛУН, а также их иерархические композиции. Набор возможных значений переменных и решения СЛУН записываются в виде реляционных таблиц. Решение логической задачи сводится к исполнению реляционных запросов. Дедуктивная мощность реляционной интерактивной логики не уступает дедуктивной мощности классических логик. Новое качество реляционной интерактивной логики основано на использовании нетекстового представления логических формул и актов логического вывода. Логические формулы могут быть представлены в виде реляционных таблиц и реляционных запросов, а акт логического вывода заключается в исполнении реляционного запроса. Интерактивность обеспечивает диалоговое решение логических задач, ориентированное на человека в большей мере, чем на основе традиционного текстового представления логических формул. Интерактивная реляционная логика может быть использована для автоматизированного решения как образовательных и развлекательных задач, так и практических задач.

Рейтинг издания


Реляционная интерактивная логика
Нет оценки

Интернет-магазины


My-Shop

отсутствует
Лабиринт

отсутствует
Ozon.ru купить
Читай-город отсутствует
Book24 отсутствует

Издательство и печать


Издание "Реляционная интерактивная логика" выпущено печатным издательством "LAP Lambert Academic Publishing" в 2014 году. Издание состоит из 132 стр. Найти в наличии и купить книгу можно в одном интернет-магазине.

Реляционная интерактивная логика

Страниц: 
132
Год издания: 
2014

Похожие издания:


Джаббарова Шаира: Проблемы развития экономики Узбекистана. Исследования путей развития отраслей экономики


Феномен системной экономической трансформации: от теории к практике


Клиентоориентирован-  ность персонала


Оздоровление пользователей информационных технологий


Оптимизация структуры центров обслуживания вызовов


Оценка ликвидности баланса, платежеспособности организации