📙 Вычислимое и невычислимое [1980] Манин 💾 Скачать книгу Глава I. Рекурсивные функции и алгоритмы Глава II. Диофантовы множества и алгоритмическая неразрешимость Глава III. Сложность и случайность Глава IV. Формальные языки и вычислимость Глава V. Теорема Геделя Глава VI. Рекурсивные группы