Раздел 5 / 12

Страница 14 / 14

7. Лекция 5. Теорема о неподвижной точке

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется 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. Список литературы