Прикладная логика

Прикладная логика – С. В. Попов

Скачать
Скачать книгу
Cкачиваний: 1
Язык:
Русский (эта книга не перевод)
Опубликовано здесь:
2013-07-05
Файл подготовлен:
2018-11-08 17:01:36
Поделиться:

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.

Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.

Полная версия

Читать онлайн

Видео

Оставить отзыв

Рейтинг@Mail.ru