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

§ 5. Понятие о нечеткой лингвистической логике 20 5 § б. Модальные логики 208 § 7. Временные (темпоральные) логики 212 § 8. Вопросы и темы для самопроверки 213 § 9. Упражнения 214 Глава 6. Теория алгоритмов 217 § 1. Неформальное понятие алгоритма 217 § 2. Алфавит, слова, алгоритм в алфав1гге. Вполне эквивалентные алгоритмы 219 § 3. Нормальный алгоритм (алгоритм А.А.Марко­ ва) 220 § 4. Функции частично вычислимые и вычисли­ мые по Маркову 225 § 5. Замыкание, распространение нормального алгоритма 226 § 6. Операции над нормальными алгоритмами 228 § 7. Машина Тьюринга 234 § 8. Задание машины Тьюринга 236 § 9. Алгоритм Тьюринга. Вычислимость по Тьюрингу 238 § 10. Связь между машинами Тьюринга и нормаль­ ными алгоритмами 239 §11. Основная гипотеза теории алгоритмов (прин­ цип нормализации или тезис Чёрча) 244 § 12. Проблема алгоритмической неразрешимости 245 § 13. Примеры алгоритмически неразрешимых массовых проблем 248 § 14. Сведения любого преобразования слов в алфа­ вите к вычислению значений целочисленных функций 251 § 15. Примитивно рекурсивные и общерекурсив­ ные функции 253 б