Перечислимое множество

Перечисли́мое множество

Рекурсивно-перечислимое множество, множество натуральных чисел или каких-либо других конструктивных объектов (См. Конструктивные объекты), занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной функции. См. Рекурсивные функции.

Значения в других словарях

1. Перечислимое Множество — Множество, возникающее в результате развертывания какого-либо конструктивного порождающего процесса. Такой процесс можно мыслить как процесс вычисления значений нек-рого алгоритма с исходными данными в виде натуральных чисел, и потому, напр.  Математическая энциклопедия