Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

ций 61 § 3. Метод насыщения уровня 63 § 4. Стратегия вычёркивания 65 § 5. Лок-резолюция 66 § 6. Метод резолюции для хорновских дизъюнктов 6 8 § 7. Преобразование формул логики предикатов. Сколемовская стан ­ дартная форма 69 § 8. Унификация 73 § 9. Метод резолюции в логике предикатов 76 § 10. Приложение логики предикатов для анализа силлогизмов Ари ­ стотеля 79 §11. Использование метода резолюций в языке ПРОЛОГ 8 2 § 12. Введение и использование правил в ПРОЛОГе 8 5 § 13. ПРОЛОГ и логика предикатов 90 Вопросы и темы для самопроверки 91 Упражнения 92 ГЛАВА 4. ДЕДУКТИВНЫЕ ТЕОРИИ 99 § 1. Понятие об эффективных и полуэффективных процессах (мето­ дах) 99 § 2. Дедуктивные теории 100 § 3. Свойства дедуктивных теорий 102 § 4. Пример полуформальной аксиоматической теории - геометрия .... 10 3 § 5. Формальные аксиоматические теории 106 § 6. Свойства выводимости 107 § 7. Исчисление высказываний 108 § 8. Некоторые теоремы исчисления высказываний П О § 9. Два определения непротиворечивости 113 § 10. Производные (доказуемые) правила вывода в исчислении вы­ сказываний 113 §11. Свойства исчисления высказываний 115 § 12. Другие аксиоматизации исчисления высказываний 12 1 § 13. Теории первого порядка 122 § 14. Формальная арифметика (теория S) 12 4 § 15. Свойства теорий первого порядка 126 § 16. Значение аксиоматического метода 129 § 17. Исчисление секвенций и поиск контрпримера 13 0 § 18. Задание исчисления высказываний в виде исчисления секвен ­ ций 131 262