Справка
ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Электронная библиотека технического вуза
Все издания
Вход / регистрация
Во весь экран / Свернуть
en
Версия для слабовидящих
Каталог
Все издания
Меню
Искать в книге
К результату поиска
Расширенный поиск
Закладки
На главную
Вход / регистрация
Во весь экран / Свернуть
en
Управление
Мои отчеты
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Основы теории вычислимых функций
Оборот титула
Оглавление
3. Лекция 1. Вычислимость, разрешимость и перечислимость
4. Лекция 2. Универсальные функции и неразрешимость
5. Лекция 3. Нумерации и операции
6. Лекция 4. Свойства главных нумераций
7. Лекция 5. Теорема о неподвижной точке
8. Лекция 6. m-сводимость и свойства перечислимых множеств
9. Лекция 7. Вычисления с оракулом
10. Лекция 8. Арифметическая иерархия
11. Лекция 9. Машины Тьюринга
12. Лекция 10. Арифметичность вычислимых функций
13. Лекция 11. Рекурсивные функции
14. Список литературы
Close Menu
Раздел
9
/
12
Страница
1
/
16
11. Лекция 9. Машины Тьюринга
/
/
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для продолжения работы требуется
Регистрация
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Основы теории вычислимых функций
Оглавление
3. Лекция 1. Вычислимость, разрешимость и перечислимость
4. Лекция 2. Универсальные функции и неразрешимость
5. Лекция 3. Нумерации и операции
6. Лекция 4. Свойства главных нумераций
7. Лекция 5. Теорема о неподвижной точке
8. Лекция 6. m-сводимость и свойства перечислимых множеств
9. Лекция 7. Вычисления с оракулом
10. Лекция 8. Арифметическая иерархия
11. Лекция 9. Машины Тьюринга
12. Лекция 10. Арифметичность вычислимых функций
13. Лекция 11. Рекурсивные функции
14. Список литературы
