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

Name: Прикладная логика
Brand: Физматлит
SKU: 1090336
Availability: OutOfStock

(0 отзывов)

недоступно к заказу

Добавить в лист ожидания

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

Артикул

1090336

Издательство

Физматлит

Тип обложки

твердый переплет

Автор

Попов Сергей Викторович Брошкова Наталья Леонидовна

Штрих код

9785922113403

Год

2011