Прикладная логика (2012)

Автор: SCART56 от 14-06-2018, 06:06, Коментариев: 0

Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА


Название: Прикладная логика
Автор: Попов С.В., Брошкова Н.Л.
Издательство: М.: Физматлит
Год: 2012
Страниц: М.: Физматлит
Формат: PDF
Размер: 14 Мб
Язык: русский

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


Скачать Попов С.В., Брошкова Н.Л. - Прикладная логика (2012)











Нашел ошибку? Есть жалоба? Жми!
Пожаловаться администрации
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.