COMPUTABILITY IN SPANISH TRANSLATION

• computabilidad

Examples of using Computability in English and their translations into Spanish

Boolos coauthored with Richard Jeffrey the first three editions of the classic university text on mathematical logic, Computability and Logic.
Junto con Richard Jeffrey, Boolos escribieron un texto clásico universitario sobre lógica matemática, llamado Computability and Logic.

This is one of the many ways to define computability; see the Church-Turing thesis for a discussion of other approaches
Esta sólo es una de tantas maneras de definir computabilidad; véase tesis de Church-Turing para una discusión, otras aproximaciones

In computability theory, the Rice-Shapiro theorem is a generalization of Rice's theorem,
En teoría de la computación, el teorema de Rice es un teorema enunciado por Henry Gordon Rice

semi-decidability(recursive enumerability), computability.
semi-decidibilidad, computabilidad.

modal logic and computability theory.
lógica modal y teoría de la computabilidad.

Hpt and Computability of the Algebra Homology of Commutative Dga-Algebras.
Sobre la Computabilidad de la Homologia de Productos Semidirectos de Grupos.

Automata and Computability.
Automática y Computación.

he mentions"basic scientific problems of computability which cannot be solved by more computing power alone.
el menciona"los problemas científicos básicos de computabilidad que no pueden ser resueltos sólo por la capacidad de los computadores.

These developments have led to the modern study of logic and computability, and indeed the field of theoretical computer science as a whole.
Estos desarrollos han llevado a los estudios modernos de la lógica y computabilidad, y de hecho al campo de las ciencias de la computación teórica como un todo.

In computability theory, one of the basic undecidable problems is the halting problem:
En teoría de la computabilidad, uno de los problemas básicos no decidibles es el de decidir si una máquina de Turing determinista(DTM)

In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems.
En teoría de la complejidad y en la teoría de la computabilidad, una máquina oráculo es una máquina abstracta usada para estudiar problemas de decisión.

In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation.
En un esfuerzo por resolver esta pregunta, la teoría de la computabilidad examina qué problemas computacionales se pueden resolver en varios modelos teóricos de cómputo.

Computability theory- branch of mathematical logic
Teoría de la computabilidad- rama de la lógica matemática

Computability studies what can be computed in principle,
La computabilidad estudia lo que puede ser computado

In computability theory, it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines.
En teoría de la computabilidad se demuestra que las funciones recursivas son precisamente las funciones que pueden ser calculadas con el formalismo de cómputo más general conocido como lo son las máquinas de Turing.

connexions between semi-decidability and computability.
conexiones entre semi-decidibilidad y computabilidad.

greatest possibility of diversity, and on the other you have computability and semantic interoperability.
tenemos la mayor diversidad posible y, por el otro, computabilidad e interoperabilidad semántica.

With Claude Shannon he did seminal work on computability theory and built reliable circuits using less reliable relays.
Con Claude Elwood Shannon hizo un trabajo seminal sobre la teoría de la computabilidad y construyó circuitos confiables utilizando relés menos confiables.

The Matiyasevich/MRDP Theorem relates two notions- one from computability theory, the other from number theory- and has some surprising consequences.
El teorema de Matiyasevich/MRDP relaciona dos conceptos, uno procedente de la teoría de la computabilidad, y el otro de la teoría de números, y tiene algunas consecuencias inesperadas.

formal language theory are closely related to computability.
la Dinámica de sistemas se relacionan de manera cercana con la computabilidad.