Прикладная логика
Электронная книга
- Автор: С. В. Попов
- Издатель: Издательская фирма "Физико-математическая литература"
- Год: 2011
- ISBN: 978-5-9221-1340-3
- Цена: 386 Руб.
Велика сила знания, и книга - фундаментальный носитель знаний. И идеальный спутник в пути! И это блестящий образец такого рода работы, что дарит новые сведения из разнообразных областей, рассказывает о некоторых методах познания человеческого общества - "Прикладная логика"
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Надеемся, что "Прикладная логика" даст вам ценные сведения и поможет изменить и лучше узнать многие вещи из определенной области знаний.






