- рекурсивно-перечислимое множество
- лог. recursively enumerable set
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
рекурсивно перечислимое множество — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN recursively enumerable set … Справочник технического переводчика
Рекурсивно перечислимое множество — Перечислимое множество множество конструктивных объектов (например, натуральных чисел), элементы которого могут быть эффективно перенумерованы (возможно, с повторениями). Варианты определения Различным формализациям представления об алгоритме… … Википедия
Перечислимое множество — рекурсивно перечислимое множество, множество натуральных чисел или каких либо других конструктивных объектов (См. Конструктивные объекты), занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной… … Большая советская энциклопедия
Перечислимое множество — Не следует путать с счётным множеством. В теории множеств, теории алгоритмов и математической логике, перечислимое множество (эффективно перечислимое, рекурсивно перечислимое, полуразрешимое множество[1]) множество конструктивных объектов… … Википедия
Перечислимое — множество, рекурсивно перечислимое множество, множество натуральных чисел или каких либо других конструктивных объектов, занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной функции. См. Рекурсивные… … Большая советская энциклопедия
ПРОСТОЕ МНОЖЕСТВО — рекурсивно перечислимое множество натуральных чисел, дополнение к рого есть иммунное множество. П. м. являются промежуточными в смысле так наз. m сводимости (см. Рекурсивная теория множеств).между разрешимыми множествами и творческими… … Математическая энциклопедия
КРЕАТИВНОЕ МНОЖЕСТВО — творческое множество, рекурсивно перечислимое множество Анатуральных чисел, дополнение к рого Адо натурального ряда является продуктивным множеством;иными словами, множество Акреативно, если оно рекурсивно перечислимо и существует такая частично… … Математическая энциклопедия
ПРОДУКТИВНОЕ МНОЖЕСТВО — множество натуральных чисел А , для к рого существует такая частично рекурсивная функция j, что для всякого рекурсивно перечислимого множества Wx с геделевым номером х, содержащегося в А. Известно, что для всякого П. м. Асуществует такая… … Математическая энциклопедия
РАЗРЕШИМОЕ И ПЕРЕЧИСЛИМОЕ МНОЖЕСТВА — осн. понятия теории алгоритмов и теории рекурсивных функций (и предикатов). (Определение этих понятий на основе понятия алгоритма см. в ст. Алгоритм, раздел Основные понятия теории А.) Простейшим примером разрешимого множества может служить… … Философская энциклопедия
АЛГОРИТМИЧЕСКАЯ ТЕОРИЯ ИНФОРМАЦИИ — раздел математич. логики, уточняющий и изучающий на базе понятий алгоритма и вычислимой функции основные понятия теории информации. А. т. и. стремится обосновать эти понятия без помощи обращения к теории вероятностей и так, чтобы понятия энтропии … Математическая энциклопедия
ПЕРЕЧИСЛЕНИЯ ОПЕРАТОР — отображение множества всех множеств натуральных чисел в себя (т. е. отображение 2N в 2N , где N множество натуральных чисел), определяемое следующим образом. Пусть Wz рекурсивно перечислимое множество с гёделевым номером z, Du конечное множество… … Математическая энциклопедия