упорядочение по сводимости

Игры ⚽ Поможем сделать НИР

РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
ТАБЛИЧНАЯ СВОДИМОСТЬ — tt сводимост ь, специальный вид алгоритмической сводимости. Пусть Аи В два подмножества натурального ряда. Говорят, что Атаблично сводится к В (обозначение: если существует алгоритм f, к рый по всякому натуральному числу астроит булеву функцию… … Математическая энциклопедия

Словари и энциклопедии на Академике