Раздел 1 / 12

Страница 1 / 10

3. Лекция 1. Вычислимость, разрешимость и перечислимость

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

/

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

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

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

/

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

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

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