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