O Que é COMPUTABILITY THEORY em Português

• teoria da computabilidade
• teoria da computação

Exemplos de uso de Computability theory em Inglês e suas traduções para o Português

Barry Cooper(2004), Computability Theory, Chapman& Hall.
Barry Cooper(2004), Teoria da Computabilidade, Chapman& Hall.

This allows for an analysis using the techniques of computability theory.
Isso permite uma análise utilizando as técnicas da teoria computacional.

Research in computability theory and complexity theory have typically focused on decision problems.
Pesquisas na área da teoria da computabilidade têm focado principalmente nos problemas de decisão.

Computable functions are the basic objects of study in computability theory.
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.

In computability theory, undefinedness of an expression is denoted as expr↑, and definedness as expr↓.
Em teoria da computabilidade, a indefinição de uma expressão é denotada por expr↑, e a sua definição por expr↓.«undef».

Löb did research on proof theory, modal logic and computability theory.
Löb fez pesquisas sobre teoria da prova, lógica modal e teoria da computabilidade.

In computability theory, a truth-table reduction is a reduction from one set of natural numbers to another.
Em teoria da computabilidade, uma redução por tabela-verdade é uma redução de um conjunto de números naturais para outro.

This is closely related to the concept of a many-one reduction in computability theory.
Isto está intimamente relacionado ao conceito de uma redução de muitos-para-um em teoria da computação.

In computability theory and computational complexity theory, a reduction is an algorithm for transforming one problem into another problem.
Em teoria da computação e complexidade, uma redução é uma transformação de um problema em outro.

This interpretation of the Church-Turing thesis differs from the interpretation commonly accepted in computability theory, discussed above.
Essa interpretação da tese de Church-Turing difere da interpretação comumente aceite em Teoria da Computação.

CA is a discrete model studied in computability theory, mathematics, physics, complexity science, theoretical biology and microstructure modeling.
Um celular é um modelo discreto estudado na teoria da computabilidade, matemática, e biologia teórica.

History==The diagonal lemma is closely related to Kleene's recursion theorem in computability theory, and their respective proofs are similar.
História==O lema da diagonal está intimamente relacionado com o teorema da recursividade de Kleene na teoria da computabilidade e suas respectivas provas são semelhantes.

Generalizations==In computability theory, the term"Gödel numbering" is used in settings more general than the one described above.
Generalizações==Em Teoria da computabilidade, o termo"numeração de Gödel" é usado em contextos mais gerais do que o descrito acima.

These hierarchies reveal many relationships between definability in this structure and computability theory, and are also of interest in descriptive set theory..
Essas hierarquias revelar muitas relações entre definibilidade nesta estrutura e na teoria da computabilidade, e também são de interesse na teoria dos conjuntos descritivo.

In computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions.
Na teoria da computabilidade, uma função é chamada limite computável se é o limite de uma seqüência uniforme de funções computáveis.

With Claude Shannon he did seminal work on computability theory and built reliable circuits using less reliable relays.
Junto com Claude Shannon Moore tem feito um trabalho seminal sobre a teoria da computabilidade e construção de circuitos confiáveis usando relés menos confiáveis.

In computability theory, one of the basic undecidable problems is that of deciding whether a deterministic Turing machine(DTM) halts.
Na teoria da computabilidade, um dos problemas básicos indecidíveis é o de decidir se uma máquina de Turing determinística(DTM) pára.

The computability aspects of this theorem have been thoroughly investigated by researchers in mathematical logic, especially in computability theory.
Os aspectos desse teorema relacionados à computabilidade têm sido minuciosamente estudados por pesquisadores da lógica matemática, especialmente na teoria da computabilidade.

In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.
Na teoria da computação, o Teorema de Post, em homenagem à Emil Post, descreve a conexão entre hierarquia aritmética e os graus de Turing.

Some of the key areas of logic that are particularly significant are computability theory(formerly called recursion theory), modal logic and category theory..
Algumas das principais áreas de lógica, que são particularmente significativos são a teoria da computabilidade(anteriormente chamada de teoria da recursão), lógica modal e teoria da categoria.

In fact, in computability theory it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines.
De fato, na teoria da computação é mostrado que as funções μ-recursivas são precisamente as que podem ser computadas por máquinas de Turing.

In computability theory, one of the basic undecidable problems is the halting problem: deciding whether a deterministic Turing machine(DTM) halts.
Na teoria da computabilidade, um dos problemas básicos indecidíveis é o de decidir se uma máquina de Turing determinística(DTM) pára.

Computability theory examines the limitations of various theoretical models of the computer, including the most well-known model- the Turing machine.
Computabilidade examina as limitações dos vários modelos teóricos do computador, incluindo o mais poderoso modelo conhecido- a máquina de Turing.

In computability theory, the theory of real computation deals with hypothetical computing machines using infinite-precision real numbers.
Em teoria da computação, a teoria da computação real lida com hipotéticas máquinas de computaçao que usam números reais com precisão infinita.

One goal of computability theory is to determine which problems, or classes of problems, can be solved in each model of computation.
Um dos objetivos da Teoria da Computabilidade é determinar que problemas, ou classes de problemas, podem ser resolvidos em cada modelo de computação.

In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic.
Em Teoria da Computabilidade, conjuntos produtivos e conjuntos criativos são tipos de conjuntos de números naturais que tem aplicações importantes em lógica matemática.

In computability theory, a machine that always halts, also called a decider or a total Turing machine, is a Turing machine that eventually halts for every input.
Na teoria da computação, uma máquina de Turing que sempre para, também chamada de máquina de Turing total, é uma máquina de Turing que para para qualquer entrada.

In computability theory a numbering is the assignment of natural numbers to a set of objects such as functions, rational numbers, graphs, or words in some language.
Na teoria da computabilidade, numeração é a atribuição de números naturais para um conjunto de objetos como números racionais, gráficos ou palavras em alguma linguagem.

In computability theory, super-recursive algorithms are a generalization of ordinary algorithms that are more powerful, that is, compute more than Turing machines.
Em teoria da computação, algoritmos super-recursivos são uma generalização de algoritmos ordinários que são mais poderosos, isto é, computam mais que uma máquina de Turing.

In computability theory, Kleene's recursion theorems are a pair of fundamental results about the application of computable functions to their own descriptions.
Em teoria da computabilidade, o teorema da recursão de Kleene é um par de resultados fundamentais sobre a aplicação de funções computáveis para suas próprias descrições.