Основной контент книги Прикладная логика
Text PDF

Volume 214 pages

2011 year

0+

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

4,7
9 ratings
$5.47

About the book

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

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

Log in, to rate the book and leave a review
Book С. В. Попова, Н. Л. Брошковой «Прикладная логика» — download in pdf or read online. Leave comments and reviews, vote for your favorites.
Age restriction:
0+
Release date on Litres:
05 July 2013
Writing date:
2011
Volume:
214 p.
ISBN:
978-5-9221-1340-3
Total size:
3.8 МБ
Total number of pages:
214
Download format: