Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Основы теории вычислимых функций
13. Лекция 11. Рекурсивные функции
Поставить закладку
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
3. Лекция 1. Вычислимость, разрешимость и перечислимость
4. Лекция 2. Универсальные функции и неразрешимость
5. Лекция 3. Нумерации и операции
6. Лекция 4. Свойства главных нумераций
7. Лекция 5. Теорема о неподвижной точке
8. Лекция 6. m-сводимость и свойства перечислимых множеств
9. Лекция 7. Вычисления с оракулом
10. Лекция 8. Арифметическая иерархия
11. Лекция 9. Машины Тьюринга
12. Лекция 10. Арифметичность вычислимых функций
13. Лекция 11. Рекурсивные функции
14. Список литературы
Данный блок поддерживает скрол*