Попов С. В. , Брошкова Н. Л.

Прикладная логика
 
 
ISBN: 978-5-9221-1340-3
УДК: 004.312
ББК: 32.973-018.
 
Москва: Физматлит, 2011
Number of pages: 213
 

No view is available.

The book is accessible only through subscription.

Bibliographic description

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

Contents

MARC record