Математическая логика и теория алгоритмов

§ 15. Вопросы и темы для самопроверки 128 § 16. Упражнения 130 Глава 4. Дедуктивные теории 135 § 1. Понятие об эффективных и полуэффективных процессах (методах) 135 § 2. Дедуктивные теории 137 § 3. Свойства дедуктивных теорий 139 § 4. Пример полуформальной аксиоматической теории - геометрия 141 § 5. Формальные аксиоматические теории 146 § 6. Свойства выводимости 147 § 7. Исчисление высказываний (теория Z,) 149 § 8. Некоторые теоремы исчисления высказываний... 150 § 9. Два определения непротиворечивости 154 § 10. Производные (доказуемые) правила вывода в исчислении высказываний 156 § 11. Свойства исчисления высказываний 158 § 12. Другие аксиоматизации исчисления выска­ зываний 167 § 13. Теории первого порядка 168 § 14. Формальная арифметика (теория 5) 170 § 15. Свойства теорий первого порядка 173 § 16. Значение аксиоматического метода 178 § 17. Теория естественного вывода 179 § 18. Вопросы и темы для самопроверки 183 § 19. Упражнения 184 Глава 5. Неклассические логики 187 § 1. Трехзначные логики 187 § 2. Многозначные логики 191 § 3. Понятие нечеткого подмножества 194 § 4. Нечеткие высказывания и максиминные операции над ними 201 5