Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
computable functions
Geflecteerde vorm van computable function
Vertaling van "computable functions" in Spaans
funciones computables
The theoretical concept of synthesis is old and has been thoroughly studied for the case of generating computable functions.
El concepto teórico de síntesis es antiguo y se ha estudiado exhaustivamente para el caso de funciones computables.
The class of computable functions that return 0 for every input, and its complement.
La clase de funciones computables que devuelven 0 para cada entrada, y su complemento.
The class of computable functions that return 0 for at least one input, and its complement.
La clase de funciones computables que devuelven 0 por lo menos para una entrada, y su complemento.
Blum's speedup theorem shows that for any complexity measure there are computable functions that are not optimal with respect to that measure.
El teorema del aumento de velocidad de Blum dice que por cualquier medida de complejidad hay funciones computables que no tienen un programa mínimo.
Turing's theory of computable functions antedated but has not much influenced the extensive actual construction of digital computers.
La teoría de funciones computables de Turing antecedió pero no ha influenciado mucho en la extensa construcción de computadoras digitales.
Scientists used the computability theory that originated in the 1930s with the study of computable functions and the so-called Turing degrees to provide an information-theoretical approach to unpredictability.
Los científicos utilizaron la teoría de la computabilidad, que se originó en los años treinta con el estudio de las funciones computables y los llamados grados de Turing, para proporcionar un enfoque basado en la teoría de la información para la impredictibilidad.
The Blum axioms can be used to define an abstract computational complexity theory on the set of computable functions.
Los axiomas de Blum pueden ser usados para definir una teoría de complejidad computacional abstracta sobre el conjunto de funciones computables.
For example, Rice's theorem shows that each of the following sets of computable functions is undecidable
Por ejemplo, el teorema de Rice demuestra que cada uno de los siguientes conjuntos de funciones computables es indecidible
Computability theory - branch of mathematical logic and computer science that originated in the 1930s with the study of computable functions and Turing degrees.
Teoría de la computabilidad - rama de la lógica matemática y ciencias de la computación que se originó en la década de 1930 con el estudio de las funciones computables y grados de Turing.
Particular models of computability that give rise to the set of computable functions are the Turing-computable functions and the recursive functions.
Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing.
Church's Thesis states that all computable functions are recursive.
La tesis de Church establece que todas las funciones computables son recursivas.
Under this asumption, all computable functions are definable in a fragment of the language of formal arithmetic, or, equivalently, by means of Turing's Machine Algorithms.
Bajo este supuesto, todas las funciones computables son definibles en el lenguaje de la aritmética formal, o bien, indistintamente, mediante los algoritmos de las máquinas de Turing.
In computational complexity theory, Blum's speedup theorem, first stated by Manuel Blum in 1967, is a fundamental theorem about the complexity of computable functions.
En Teoría de la complejidad computacional el teorema del aumento de velocidad de Blum, dado primero por Manuel Blum en 1967, es un teorema importante sobre la complejidad de funciones computables.
Synoniemen voor computable functions in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 22. Exact: 22. Verstreken tijd: 35 ms.
