- Добавил: SCART56
- Дата: 14-06-2018, 06:06
- Комментариев: 0
Название: Прикладная логика
Автор: Попов С.В., Брошкова Н.Л.
Издательство: М.: Физматлит
Год: 2012
Страниц: М.: Физматлит
Формат: PDF
Размер: 14 Мб
Язык: русский
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов.