decidible oor Engels
decidible
es
Que describe un conjunto para el cual existe un algoritmo que determina si un elemento está o no está dentro del conjunto de una cantidad finita de tiempo.
Vertalings in die woordeboek Spaans - Engels
decidable
en
capable of being decided
computable
es
Que describe un conjunto para el cual existe un algoritmo que determina si un elemento está o no está dentro del conjunto de una cantidad finita de tiempo.
en
Describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
recursive
es
Que describe un conjunto para el cual existe un algoritmo que determina si un elemento está o no está dentro del conjunto de una cantidad finita de tiempo.
en
Describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
decidable
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Por ejemplo, el matemático polaco Alfred Tarski encontró un algoritmo que puede decidir la veracidad de cualquier afirmación dentro de la geometría analítica (más precisamente, Tarski probó que la teoría de cuerpos algebraicamente cerrados es decidible).
For cryin ' out loud, it' s this one!WikiMatrix WikiMatrix
Y por último, estas técnicas tienen la característica de ser tanto decidibles, es decir, sus algoritmos están implementados para poner fin a una respuesta, como indecidibles (que nunca podrán terminar).
Jennifer ' my dear ' in life there are winners and there are losersWikiMatrix WikiMatrix
En este artículo se ratifican y fortalecen los resultados de separación de (Cacciagrano, et al., 2008) mostrando que tanto convergencia como divergencia son propiedades decidibles en un fragmento significativo de POAp y en PAp., a diferencia de lo que sucede en Ap.
I don' t like thatscielo-abstract scielo-abstract
En especial, por tanto, del teorema V resulta que cada relación recursiva primitiva es decidible.
I really didn' t think about itLiterature Literature
Para poder hacer esto, se requiere generalmente que cada paso individual de la demostración pueda ser verificado por una función recurrente primitiva o programa, y por lo tanto el problema es siempre decidible.
Steady, boysWikiMatrix WikiMatrix
Los lenguajes recursivos También se denominan lenguajes decidibles.
Most minor reactions to insulins at the injection site usually resolve in a few days to a few weeksWikiMatrix WikiMatrix
El luego afirmaba haber obtenido un sistema general en el que todas las proposiciones son decidibles.
You know, it' s not all herLiterature Literature
Si en realidad hay una base empírica “decidible”, ¿qué es lo que está mal con el positivismo estricto?
Be unto her, O Lord, a fortified tower. ““ In the face of the enemy. "Literature Literature
A un problema de decisión A, si A es un conjunto recursivo, se le denomina decidible, o efectivamente solucionable.
You haven' t changed a bitWikiMatrix WikiMatrix
Aunque Principia no cayó presa de las paradojas de Frege, más tarde Kurt Gödel demostró que ni Principia Mathematica, ni otro sistema consistente de aritmética recursiva primitiva podrían, dentro de ese sistema, determinar que cada proposición que pudiera ser formulada dentro de ese sistema era decidible, esto es, podría decidir si esa proposición o su negación era demostrable dentro del sistema (Teorema de la incompletitud de Gödel).
Come on, Donny!WikiMatrix WikiMatrix
Una característica alternativa de PSPACE es el conjunto de problemas decidibles por una máquina de Turing alternativa en tiempo polinómico, a veces llamadas APTIME o solamente AP.
I' il get there as soon as I canWikiMatrix WikiMatrix
Por lo tanto, cuando una ambigüedad es posible, el sinónimo usado para "lenguaje recursivo" es lenguaje Turing decidible, en vez de simplemente "lenguaje decidible".
Two-and-a-half minutes to startWikiMatrix WikiMatrix
Por ejemplo, si una máquina tiene una duración de más de 100 pasos en alguna entrada es una propiedad decidible, a pesar de que no es trivial.
The conditions of option # are not fulfilled either, as the market price of the energy produced is not used to calculate the amount of aidWikiMatrix WikiMatrix
La mayoría de los matemáticos apostarían por que la Hipótesis de Riemann es decidible.
What' s the matter, MrLiterature Literature
Para el punto b) existe (ver ejercicio a él dedicado) un criterio decidible.
Regulation (EC) No # should, therefore, be amended accordinglyLiterature Literature
En otros casos, la comprobación de dependencias puede ser muy cara pero decidible en tiempo de compilación.
I don' t understand what happenedLiterature Literature
Un problema es decidible si existe un algoritmo que le dé respuesta.
People who do things like this must be punished!Literature Literature
En lugar de ello, tendemos a buscar problemas sencillos y bien estructurados, que a menudo son decidibles.
Come on, I just wanna talk.- About what?Literature Literature
No tenía capacidad para decidir si algunas cuestiones eran decidibles.
I know.We have to be nice, Henry. We have to be niceLiterature Literature
Sabemos por el teorema de Rice que ninguno de los problemas siguientes son decidibles.
estimated lean meat content (in percentageLiterature Literature
No es decidible si dos transductors son equivalents.
The fact is, young Will has not yet developed the social skills... to adapt to the rarefied atmosphere of Bel- Air Academy... or parties in MalibuWikiMatrix WikiMatrix
Si una clase contable de los lenguajes recursivos tiene un límite de cambio de idea para aprendices no computables, ¿la clase también tiene un límite de cambio de idea para aprendices computables, o la clase no puede ser aprendida por un aprendiz computable? i.e. presentación por texto, donde la cadena de caracteres dada por el profesor es una función primitiva recursiva del número de paso actual, y el aprendiz codifica una suposición de lenguaje como un programa que enumera el lenguaje i.e. la clase de lenguajes que son decidibles por una función primitiva recursiva i.e. contiene todos los lenguajes finitos y al menos un lenguaje infinito i.e. presentación por texto, excepto para la configuración presentación por texto anómalo i.e. la clase de lenguajes consistente en solo una cadena de caracteres Gold, E. Mark (1967).
Why, he should get down on his kneesWikiMatrix WikiMatrix
De manera similar, si una máquina tiene más de 5 estados es una propiedad decidible de la máquina, ya que el número de estados puede ser contado simplemente.
We have totally virtual actors now and we use them quite a bit.Mostly we use them for stunts and thingsWikiMatrix WikiMatrix
Dentro de esta teoría, es posible demostrar afirmaciones interesantes, tales como «el complemento de un conjunto de Mandelbrot es solo parcialmente decidible».
His wife is a Charmed One... and their vanquishes are excruciatingWikiMatrix WikiMatrix
En este artículo, presentaremos las lógicas (Lógica Temporalizada de Eventos Distribuidos, Lógica Temporizados de Memorización de Eventos) y los autómatas (Autómatas de Eventos Distribuidos, Autómatas de Memorización de Eventos), totalmente decidibles.
postal and e-mail addressesscielo-abstract scielo-abstract
60 sinne gevind in 7 ms. Hulle kom uit baie bronne en word nie nagegaan nie.