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