Перечислимое множество
Перечисли́мое множество
Рекурсивно-перечислимое множество, множество натуральных чисел или каких-либо других конструктивных объектов (См. Конструктивные объекты), занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной функции. См. Рекурсивные функции.
Источник:
Большая советская энциклопедия
на Gufo.me
Значения в других словарях
- Перечислимое Множество — Множество, возникающее в результате развертывания какого-либо конструктивного порождающего процесса. Такой процесс можно мыслить как процесс вычисления значений нек-рого алгоритма с исходными данными в виде натуральных чисел, и потому, напр. Математическая энциклопедия
