decidibles oor Engels
decidibles
Vertalings in die woordeboek Spaans - Engels
plural of decidible
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).
Is this the Simmons residence?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).
The one, who kills the Ogre, will be named champion.How about himWikiMatrix 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.
Get these guys out of herescielo-abstract scielo-abstract
En especial, por tanto, del teorema V resulta que cada relación recursiva primitiva es decidible.
It' s under the mat.- Come onLiterature 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.
Grace, I need a full report on a guy named Brice CummingsWikiMatrix WikiMatrix
Los lenguajes recursivos También se denominan lenguajes decidibles.
Take me now, LordWikiMatrix WikiMatrix
El luego afirmaba haber obtenido un sistema general en el que todas las proposiciones son decidibles.
My what?- Your headLiterature Literature
Si en realidad hay una base empírica “decidible”, ¿qué es lo que está mal con el positivismo estricto?
This study serves to identify substrates of central sensitization.Literature Literature
A un problema de decisión A, si A es un conjunto recursivo, se le denomina decidible, o efectivamente solucionable.
Yeah, it' s niceWikiMatrix 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).
Gangbangers don' t have regular commutesWikiMatrix 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.
Whatever you say, docWikiMatrix 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".
Don' t look at me like thatWikiMatrix 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.
Carboxymethylcellulose and its saltsWikiMatrix WikiMatrix
La mayoría de los matemáticos apostarían por que la Hipótesis de Riemann es decidible.
Information on the PKI service is available in the documentation provided by SWIFTLiterature Literature
Para el punto b) existe (ver ejercicio a él dedicado) un criterio decidible.
Look he just wanted to knowhow the nose was workingLiterature Literature
En otros casos, la comprobación de dependencias puede ser muy cara pero decidible en tiempo de compilación.
May we come in?Literature Literature
Un problema es decidible si existe un algoritmo que le dé respuesta.
It' s almost too nice to go in there, you think?Literature Literature
En lugar de ello, tendemos a buscar problemas sencillos y bien estructurados, que a menudo son decidibles.
for Member States whose average # to # GNI per capita (PPS) is equal to or above # % and below # % of the EU-# average: #,# % of their GDPLiterature Literature
No tenía capacidad para decidir si algunas cuestiones eran decidibles.
It' s not on hereLiterature Literature
Sabemos por el teorema de Rice que ninguno de los problemas siguientes son decidibles.
It was a pleasure and a sincere sensation... but we have to go because we gotta do some shoppingLiterature Literature
No es decidible si dos transductors son equivalents.
We got rid of candy machines, soda machines, brought in bottled water, and it was just a situation where we saw a major change in the kidsWikiMatrix 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).
Excessive use of steroids?WikiMatrix 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.
Welcome to my worldWikiMatrix WikiMatrix
Dentro de esta teoría, es posible demostrar afirmaciones interesantes, tales como «el complemento de un conjunto de Mandelbrot es solo parcialmente decidible».
Do I look like a criminal?WikiMatrix 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.
Can I take this?scielo-abstract scielo-abstract
60 sinne gevind in 9 ms. Hulle kom uit baie bronne en word nie nagegaan nie.