Перечислимое
Определение "Перечислимое" в Большой Советской Энциклопедии
Перечислимое множество, рекурсивно-перечислимое множество, множество натуральных чисел или каких-либо других конструктивных объектов, занумерованных натуральными числами, являющееся множеством значений некоторой общерекурсивной функции. См. Рекурсивные функции.
Статья про "Перечислимое" в Большой Советской Энциклопедии была прочитана 443 раз
|