Код ББК В127
В127
Теория алгоритмов и вычислимых (рекурсивных) функций. Конструктивный анализ
Машины Тьюринга, Поста, нормальные алгоритмы Маркова и др. Сложность алгоритмов: временная и пространственная сложности, классы сложности (классы Р и NР). Алгоритмическая (колмогоровская) сложность. Алгоритмическая теория множеств. Теория иерархий и нумераций. Алгоритмическая теория исчислений: исчисление комбинаторов, лямбда-исчисление и др. Алгоритмически неразрешимые проблемы: проблема остановки и др.
Конструктивная математика см. В122
Алгоритмически неразрешимые проблемы в теории групп и полугрупп см. В144.1
Уточняющие коды
Запись в классификаторе ББК полные таблицы с кодом В127 является конечной в иерархии и не содержит уточняющих элементов.
Вышестоящие объекты
Схема иерархии в классификаторе ББК полные таблицы для кода В127
Полные таблицы
ЕСТЕСТВЕННЫЕ НАУКИ
Физико-математические науки
Математика
Основания математики. Математическая логика
Полная расшифровка кода: Код ББК В127. Онлайн-классификатор ББК, Полные таблицы, ЕСТЕСТВЕННЫЕ НАУКИ, Физико-математические науки, Математика, Основания математики. Математическая логика, Теория алгоритмов и вычислимых (рекурсивных) функций. Конструктивный анализ.