COMPUTABILIDADE in English translation

• computability

Examples of using Computabilidade in Portuguese and their translations into English

Tal como acontece com o conceito de uma função computável, a computabilidade relativa pode ter definições equivalentes em muitos modelos de computação diferentes.
As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation.

Estudiosos da recursão em lógica matemática frequentemente estudam a teoria da computabilidade relativa, noções de redutibilidade
Recursion theorists in mathematical logic often study the theory of relative computability, reducibility notions

a quantificação existencial reflete meramente a aplicação usual na computabilidade e na teoria do modelo.
the existential quantification merely reflects the usual applications in computability and model theory.

Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.
Hypercomputation or super-Turing computation refers to models of computation that can provide outputs that are not Turing computable.

Computabilidade relativa e os graus de TuringA teoria da recursão na lógica matemática tem tradicionalmente ênfase na computabilidade relativa, uma generalização da computabilidade de Turing definida utilizando máquinas de Turing oracle,
Relative computability and the Turing degrees===Recursion theory in mathematical logic has traditionally focused on"relative computability", a generalization of Turing computability defined using oracle Turing machines,

Na teoria da computação, as máquinas abstratas são geralmente usadas em experimentos mentais relacionados à computabilidade ou para analisar a complexidade de algoritmos.
In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms see computational complexity theory.

Nome do tema==O campo de lógica matemática lidando com computabilidade e suas generalizações tem sido chamado"teoria da recursão" desde os antepassados.
Name of the subject==The field of mathematical logic dealing with computability and its generalizations has been called"recursion theory" since its early days.

Elas são usadas para discutir a computabilidade sem se referir a algum modelo de computação concreto, como a máquina de Turing
They are used to discuss computability without referring to any concrete model of computation such as Turing machines

Elas são usadas para discutir a computabilidade sem se referir a algum modelo de computação concreto, como a máquina de Turing e a máquina registradora.
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.

a λ-definibilidade como caracterização adequada da noção informal da computabilidade efetiva foi examinada em detalhe por diversos autores.
λ-definability as adequate characterization of the informal notion of effective computability has been examined in detail by several authors.

A teoria da recursão na lógica matemática tem tradicionalmente ênfase na computabilidade relativa, uma generalização da computabilidade de Turing definida utilizando máquinas de Turing oracle,
Recursion theory in mathematical logic has traditionally focused on relative computability, a generalization of Turing computability defined using oracle Turing machines,

Outras formas de computabilidade são também estudadas:
Other forms of computability are studied as well:

os tópicos intimamente relacionados da teoria de codificação, computabilidade e teoria de autômatos sempre foram áreas de força no departamento.
the closely related topics of coding theory, computability and theory of automata have always been areas of strength at the department.

Computabilidade é a habilidade de resolver problemas de forma efetiva.
Computability is the ability to solve a problem in an effective manner.

Essa definição é adequada por questões de computabilidade e teoria dos conjuntos.
This definition is especially suitable to questions of computability and elementary set theory.

a Teoria hiperaritmética é uma generalização da Computabilidade de Turing.
hyperarithmetic theory is a generalization of Turing computability.

Isso faz da lógica clássica um fragmento especial da lógica de computabilidade.
This makes classical logic a special fragment of CoL.

O campo de lógica matemática lidando com computabilidade e suas generalizações tem sido chamado"teoria da recursão" desde os antepassados.
The field of mathematical logic dealing with computability and its generalizations has been called"recursion theory" since its early days.

Computabilidade de Turing==A forma principal de computabilidade estudada na teoria da recursão foi introduzida por Turing1936.
Turing computability==The main form of computability studied in recursion theory was introduced by Turing 1936.

A computabilidade de um problema é intimamente ligada à existência de um algoritmo para resolver o problema.
The computability of a problem is closely linked to the existence of an algorithm to solve the problem.