- рекурсивная сводимость
- мат. recursive reducedness
Большой англо-русский и русско-английский словарь. 2001.
рекурсивная сводимость
Смотреть что такое "рекурсивная сводимость" в других словарях:
РЕКУРСИВНАЯ ТЕОРИЯ МНОЖЕСТВ — раздел тео рии рекурсивных функций, в к ром рассматриваются и классифицируются подмножества натуральных чисел с алгоритмич. точки зрения, а также исследуются структуры, возникающие в результате такой классификации. Для каждого множества А, к рое… … Математическая энциклопедия
ПРОСТОЕ МНОЖЕСТВО — рекурсивно перечислимое множество натуральных чисел, дополнение к рого есть иммунное множество. П. м. являются промежуточными в смысле так наз. m сводимости (см. Рекурсивная теория множеств).между разрешимыми множествами и творческими… … Математическая энциклопедия
