Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.
Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
- Ograniczenie wiekowe:
- 0+
- Data dodania do LitRes:
- 05 lipca 2013
- Data powstania:
- 2011
- Rozmiar:
- 214 str.
- ISBN:
- 978-5-9221-1340-3
- Całkowity rozmiar:
- 3 MB
- Całkowity liczba stron:
- 214
- Rozmiar stron:
140 x 215 мм
- Prawa autorskie:
- Издательская фирма "Физико-математическая литература"
Оставьте отзыв
Отзывы