Расширенный поиск
Все разделы
Корзина
у вас нет товаров
Прикладная логика Попов С.В., Брошкова Н.Л.

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

Авторы:
Издательство: Физматлит
ISBN 978-5-9221-1340-3; 2011 г.
Кол-во страниц: 216

Положить в корзину

О книге:

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

Вверх