K es recursivamente enumerable, pero su complemento -K no lo es.
K is recursively enumerable, but its complement -K it's not.
Crea una matriz a partir del objeto enumerable suministrado.
Creates an array from the supplied enumerable object.
Básicamente, un conjunto enumerable de puntos del círculo puede rotarse para dar un punto más.
Basically, a countable set of points on the circle can be rotated to give itself plus one more point.
Si no es así, entonces la unión es aún más pequeña y por lo tanto también enumerable mediante uno de los teoremas anteriores.
If not, then the union is even smaller and is therefore also countable by a previous theorem.
Los casos de la gerencia corporativa que expenden los fondos corporativos para los lujos son enumerable.
The cases of corporate management expending corporate funds for luxuries are enumerable.
Esto crea un sistema que es completo, consistente y suficientemente potente, pero no recursivamente enumerable.
This creates a system which is complete, consistent, and sufficiently powerful, but not computably enumerable.
Puedes utilizar la notación de corchetes con for... in para repetir las propiedades de un objeto enumerable.
You can use the bracket notation with for... in to iterate over all the enumerable properties of an object.
También, cuando iteramos sobre las propiedades de un objeto, cada propiedad enumerable que se encuentra en la cadena de prototipo será enumerada.
Also, when iterating over the properties of an object, every enumerable property that is on the prototype chain will be enumerated.
Puesto que C es por hipótesis también recursivamente enumerable, es definido por una fórmula en una variable libre x.
Now, C being by hypothesis also enumerable recursive, it is defined by a formula in a free variable x.
Todavía más, ya que un conjunto enumerable puede descomponerse en dos copias de él mismo, se podría esperar que de alguna forma, usando muchas piezas se pudiera hacer el truco.
Moreover, since a countable set can be made into two copies of itself, one might expect that using countably many pieces could somehow do the trick.
Algunos de los métodos más importantes en el módulo enumerable son los métodos de
Some of the most important methods in the Enumerable module
Cuando hablan de lo desconocido, se refieren a lo que no puede ser conocido porque carece de la capacidad de sentir, no es enumerable, no está condicionado, y no es un dharma.
When they speak of the unknown, they refer to that which cannot be known because it lacks sentience, is not enumerable, is not conditioned, and is not a dharma.
Hay una relación diádica T(x, y) que es recursivamente enumerable y enumera recursivamente todos los conjuntos recursivamente enumerables.
There is a dyadic relation T(x, y) which is recursively enumerable and recursively enumerates all recursive enumerable sets.
