decidibilidad oor Engels
decidibilidad
Vertalings in die woordeboek Spaans - Engels
decidability
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
También probó que una clase de álgebras localmente libres tiene una teoría de decidibilidad.
He' s crazy.Let' s goWikiMatrix WikiMatrix
Decidibilidad: debería haber un algoritmo para decidir la verdad o falsedad de cualquier afirmación matemática.
Gus, we can not have that hereWikiMatrix WikiMatrix
Hilbert bautizó la cuestión como «el problema de la decidibilidad».
Newly created provincial government programs have yet to have full impact on the industry and the CTCPF must endeavour to work closely with these agencies as their funds become available to maximize their potential and to help foster strong regional production and programming.Literature Literature
Al hablar de la decidibilidad de una propiedad P, estamos hablando de la decidibilidad del lenguaje LP .
" Our yearning... " " makes the cloud shower again "Literature Literature
Esto socavaba completamente el supuesto tradicional de la decidibilidad sistemática.
But hisactions last night paint a familiar picture... of student rage antiviolenceLiterature Literature
El concepto de decidibilidad puede ser extendido a otros modelos de computación.
Now I have noneWikiMatrix WikiMatrix
Sobre la decidibilidad de dos fragmentos del p-cálculo asincrónico
Yeah, maybe.Maybe soscielo-title scielo-title
Pero la crítica del relativismo estético tiene su apoyo más fuerte en la decidibilidad de las cuestiones técnicas.
It wound itself around two trees, and vanished by itself!Literature Literature
Nos permiten estudiar la decidibilidad, es decir, el problema de qué puede o no puede hacer una computadora.
You know how she' s always saying she' s a model?Literature Literature
Otras cuestiones metamatemáticas trataban de la completitud y la decidibilidad de las teorías.
Usable in all waysLiterature Literature
En los primeros años 1960s, trabajó en problemas de decidibilidad de teorías elementales de varias estructuras algebraicas.
A motorised traction table for stretching the spineWikiMatrix WikiMatrix
En 1959 publicó un artículo junto con Michael O. Rabin, un colega de Princeton, titulado Finite Automata and Their Decisión Problem (Autómatas Finitos y el Problema de su Decidibilidad), que introdujo la idea de las máquinas no determinísticas en el campo de la teoría de autómatas.
We show the world that assuming our responsibilities means creating a better worldWikiMatrix WikiMatrix
Resumiré ahora mi argumentación acerca del problema de la decidibilidad.
Maybe tomorrow we can try it againLiterature Literature
El método de tablas de verdad, por ejemplo, permite establecer la decidibilidad de la lógica proposicional clásica.
This is important. Can you give us some details of these?Literature Literature
—Intento establecer la decidibilidad de la hipótesis del continuo.
I don' t know how many times I got to tell youLiterature Literature
61/ En cualquier caso, el investigador cuidará la coherencia lógica del conjunto de las definiciones que utilice, según los mencionados criterios de completitud, consistencia y decidibilidad.
Why, he' d be the kind a woman' d have to marry to get rid ofParaCrawl Corpus ParaCrawl Corpus
Esto significa que podemos usar una máquina de Turing para describir los problemas irresolubles que buscamos, sabiendo que nuestros hallazgos se aplicarán a todas las computadoras posibles. Reconocimiento y Decidibilidad
Let' s see what moves you' ve learnt this timeParaCrawl Corpus ParaCrawl Corpus
Junto con la propiedad lógica de decidibilidad y una nueva fórmula de consenso, el mecanismo de elección social permite a Tau calcular cosas como el consenso sobre cada tema expresado, independientemente de cuán remoto o esotérico sea el tema. +
Tell me you can' t hear thatParaCrawl Corpus ParaCrawl Corpus
En particular, son muy apropiadas para estudiar las propiedades de seguridad de dichos sistemas, dadas sus buenas propiedades de decidibilidad.
Sir, can you hear me?ParaCrawl Corpus ParaCrawl Corpus
Sin embargo, también a causa de los crecientes conflictos que durante los últimos años han obstaculizado la ejecución de proyectos energéticos (Arrese & Wells, 2016; Astorga, 2013; Fuenzalida & Quiroz, 2012; Garrido, J., Rodríguez, I.; Vallejos, 2015) se ha ido reconociendo la necesidad de prestar atención a la comprensión pública respecto de diferentes alternativas energéticas y de su relevancia social en términos de mitigación del cambio climático, lo cual podría tener un impacto relevante en términos de efectividad, decidibilidad y viabilidad de políticas públicas dirigidas a la reducción de las emisiones de Gases Efecto Invernadero a través de cambios en la matriz energética (Hoyt, 2012; Nygrén, Lyytimäki, & Tapio, 2012).
Oh, it' il be taken into considerationParaCrawl Corpus ParaCrawl Corpus
Ir a la búsqueda La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.[1] Las propiedades más importantes que se pueden demostrar de los sistemas formales son la consistencia, decidibilidad y completitud.[2] Otra propiedad es la compacidad.
I know a lot of womenParaCrawl Corpus ParaCrawl Corpus
El Entscheidungsproblem o problema de la decidibilidad es una ardua cuestión lógico-matemática que tuvo ocupados a algunos lógicos y filósofos a principios del siglo XX desde que el matemático alemán David Hilbert la plantease en un escrito programático del año 1900 como uno de los retos pendientes para la centuria que entonces comenzaba: ¿es posible que la matemática dé una respuesta de tipo demostrativo a todos los problemas que ella misma plantea?
The customs authorities may grant the debtor payment facilities other than deferred paymentParaCrawl Corpus ParaCrawl Corpus
Estudiamos la decidibilidad/ universalidad de nuestros modelos mediante la variación de los parámetros de tamaño del vector.
I don' t think I can do thisParaCrawl Corpus ParaCrawl Corpus
Esta es una breve y conciso tutorial que introduce los conceptos fundamentales de autómatas finitos, Regular Idiomas y Pushdown Autómatas antes de pasar a las máquinas de Turing y Decidibilidad.
I had to go and talk to some people, about what' s been happening.PHONE RlNGSParaCrawl Corpus ParaCrawl Corpus
24 sinne gevind in 8 ms. Hulle kom uit baie bronne en word nie nagegaan nie.