Прикладная логика
Жанры:
Читать онлайн:
Вам понравится:
Описание:
Книга автора С. В. Попов. Относится к жанрам: дискретная математика, искусственный интеллект, математическая логика, экспертные системы. Объем: 214 стр.. Дата написания: 2011. Возрастное ограничение: 0+.
Вы можете в один клик скачать книгу ‘Прикладная логика’ в форматах fb2, ePub, txt без регистрации. Или же, выбирая подходящий Вам вариант, читать онлайн ‘Прикладная логика’ на нашем сайте. Здесь Вы легко сможете выбрать нужную книгу в соответствии со своими предпочтениями.
Если Вы ещё не определились с выбором, то посмотрите разделы «Рейтингов» и «Обзоров книг» нашего сайта, там сможете подобрать книгу или серию книг, которые Вам обязательно понравятся.
Аннотация:
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.
Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY