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