We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
computable functions
La clase de funciones computables que devuelven 0 para cada entrada, y su complemento.
The class of computable functions that return 0 for every input, and its complement.
La clase de funciones computables que devuelven 0 por lo menos para una entrada, y su complemento.
The class of computable functions that return 0 for at least one input, and its complement.
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.
Blum's speedup theorem shows that for any complexity measure there are computable functions that are not optimal with respect to that measure.
La teoría de funciones computables de Turing antecedió pero no ha influenciado mucho en la extensa construcción de computadoras digitales.
Turing's theory of computable functions antedated but has not much influenced the extensive actual construction of digital computers.
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.
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 axiomas de Blum pueden ser usados para definir una teoría de complejidad computacional abstracta sobre el conjunto de funciones computables.
The Blum axioms can be used to define an abstract computational complexity theory on the set of computable functions.
Por ejemplo, el teorema de Rice demuestra que cada uno de los siguientes conjuntos de funciones computables es indecidible
For example, Rice's theorem shows that each of the following sets of computable functions is undecidable
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.
Computability theory - branch of mathematical logic and computer science that originated in the 1930s with the study of computable functions and Turing degrees.
Las funciones computables son usadas para discutir sobre computabilidad sin referirse a ningún modelo de computación concreto, como el de la máquina de Turing o el de la máquina de registros.
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
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.
Particular models of computability that give rise to the set of computable functions are the Turing-computable functions and the recursive functions.
Dejando las funciones computables y los lenguajes atrás, ahora discutimos la complejidad de cómputo, examinando el cálculo eficiente y el famoso problema P vs. NP. Complejidad
Leaving computable functions and languages behind, we now discuss computation complexity, surveying efficient computation and the famous P vs. NP problem. Complexity
La tesis de Church establece que todas las funciones computables son recursivas.
Church's Thesis states that all computable functions are recursive.
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.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
