С. В. Попов Прикладная логика

Posted by

С. В. Попов Прикладная логика

скачать

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

Перейти далее

Редакция газеты Твой день Твой день 257-2014

Джек Лондон Рождённая в ночи

Кови С. Фокус: Достижение приоритетных целей / 3-е изд.

One comment

Leave a Reply

Ваш e-mail не будет опубликован. Обязательные поля помечены *