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