Translation of "computability" to Portuguese language:
Dictionary English-Portuguese
Computability - translation :
Examples (External sources, not reviewed)
| Continuous computability theory Computability theory for digital computation is well developed. | Teoria da computabilidade contínua A teoria da computabilidade para computação digital é bem desenvolvida. |
| 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, introduced by Turing (1939). | Computabilidade relativa e os graus de Turing 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, introduzida por Turing(1939). |
| The development ... leads to ... an identification of computability with effective calculability. | O algoritmo sempre produz resultado em um número finito de passos. |
| Therefore, formal language theory is a major application area of computability theory and complexity theory. | Portanto, a teoria da linguagem formal é uma grande área de aplicação da teoria da computabilidade e teoria da complexidade. |
| For this reason, 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. |
| A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems. | Esta ciência foi responsável pela definição formal de computação e computabilidade, e pela prova da existência de problemas insolúveis ou intratáveis computacionalmente. |
| 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. |
| 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. |
| The fundamental results the researchers obtained established Turing computability as the correct formalization of the informal idea of effective calculation. | Os resultados fundamentais que os pesquisadores obtiveram estabeleceram a Turing computabilidade como uma formalização correta da ideia informal do cálculo efetivo. |
| Recursion theorists in mathematical logic often study the theory of relative computability, reducibility notions and degree structures described in this article. | Estudiosos da recursão em lógica matemática frequentemente estudam a teoria da computabilidade relativa, noções de redutibilidade e estruturas de grau descritas neste artigo. |
| ) depend quite essentially on the system to which they are defined Informal usage in proofs Proofs in computability theory often invoke the Church Turing thesis in an informal way to establish the computability of functions while avoiding the (often very long) details which would be involved in a rigorous, formal proof. | Utilização informal em provas Provas na teoria da computabilidade comumente usam a tese de Church Turing de um jeito informal afim de estabelecer a computabilidade de funções, evitando os detalhes (muitas vezes muito longos) que normalmente seriam mostrados em uma prova mais formal. |
| yes no question Optimization problem Search problem Counting problem (complexity) Function problem Word problem (mathematics) References Kozen, D.C. (1997), Automata and Computability , Springer. | Kozen, D.C. (1997), Automata and Computability , Springer. |
| According to Gregory Chaitin, it is the result of putting Shannon's information theory and Turing's computability theory into a cocktail shaker and shaking vigorously. | De acordo com Gregory Chaitin, ela é o resultado de colocar a teoria da informação de Shannon e teoria da computabilidade de Turing em uma coqueteleira, agitando a vigorosamente . |
| This contrasts with the theory of subrecursive hierarchies, formal methods and formal languages that is common in the study of computability theory in computer science. | Isto contrasta com a teoria das hierarquias subrecursivas, métodos formais e linguagens formais que são comuns no estudo da teoria da computabilidade na ciência da computação. |
| The argument that super recursive algorithms are indeed algorithms in the sense of the Church Turing thesis has not found broad acceptance within the computability research community. | O argumento que algoritmos super recursivos são de fato algoritmos no sentido da tese de Church Turing não teve ampla aceitação entre a comunidade de investigação da computação. |
| Generalizations of Turing computability Recursion theory includes the study of generalized notions of this field such as arithmetic reducibility, hyperarithmetical reducibility and α recursion theory, as described by Sacks (1990). | Generalizações da computabilidade de Turing A teoria da recursão inclu o estudo de noções generalizadas desse tópico como reducibilidade aritmética, reducibilidade hiper aritmética e a teoria α recursão, como descrito por Sacks (1990). |
| In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer, depending on the values of some input parameters. | Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim ou não. |
| During this year, Gödel also developed the ideas of computability and recursive functions to the point where he was able to present a lecture on general recursive functions and the concept of truth. | Durante este ano ele desenvolveu as ideias de computabilidade e das funções recursivas com o propósito de lecionar sobre as funções recursivas gerais e o conceito de verdade matemática. |
| Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. | A teoria da computabilidade, também chamada de teoria da recursão, é um ramo da lógica matemática que foi originado na década de 30 com o estudo das funções computáveis e dos graus de Turing. |
| In order to make the above example completely rigorous, one would have to carefully construct a Turing Machine, or λ function, or carefully invoke recursion axioms, or at best, cleverly invoke various theorems of computability theory. | A fim de tornar o exemplo acima completamente rigoroso, deveríamos cuidadosamente construir uma Máquina de Turing, ou função λ, ou cuidadosamente usar axiomas recursivos, ou na melhor das hipóteses habilmente usar vários teoremas da teoria da computabilidade. |
| The second sense, which will not be discussed here, is used in relation to computability theory and applies not to statements but to decision problems, which are countably infinite sets of questions each requiring a yes or no answer. | O segundo, que não será discutido aqui, é em relação à teoria de computabilidade e se aplica não a afirmações, mas a problemas de decisão, os quais são conjuntos de questões infinitos que requer uma resposta sim ou não . |
| In algorithmic information theory (a subfield of computer science and mathematics), the Kolmogorov complexity (also known as descriptive complexity, Kolmogorov Chaitin complexity, algorithmic entropy, or program size complexity) of an object, such as a piece of text, is a measure of the computability resources needed to specify the object. | A complexidade de Kolmogorov é uma teoria da informação e da aleatoriedade, profunda e sofisticada, que trata da quantidade de informação de objetos individuais, medida através do tamanho de sua menor descrição algorítmica. |
