TURING in English translation

• turing

Examples of using Turing in Portuguese and their translations into English

De acordo com a citação, seu Prêmio Turing foi concedido"pela sua influência na área de técnicas de programação avançada
He was awarded the Turing Award in 1966, according to the citation,"for his influence in the area of advanced programming techniques

O grau de Turing X⊕ Y é o menor limitante superior dos graus de X
The Turing degree of X⊕ Y is the least upper bound of the degrees of X

Um exemplo da noção de turing sobre D.P. é dada no fim desse artigo.
An example of Turing's notion of S.D is given at the end of this article.

Isso dá uma redução Turing de SAT para SAT-não-ambíguo já que um suposto algoritmo para SAT-não-ambíguo pode ser invocado em F i′{\displaystyle F'_{i.
This gives a Turing reduction from SAT to Unambiguous-SAT since an assumed algorithm for Unambiguous-SAT can be invoked on the F i′{\displaystyle F'_{i.

Propriedades básicas dos graus de Turing==* Cada grau de Turing é infinito contável,
Basic properties of the Turing degrees==* Every Turing degree is countably infinite,

O grau de Turing"X⊕ Y" é o menor limitante superior dos graus de"X" e"Y.
The Turing degree of"X⊕ Y" is the least upper bound of the degrees of"X" and"Y.

Método proposto Alan Turing para avaliar uma Inteligência Artificial envolvido com um ser humano em um computador converse com tanto um ser humano
Alan Turing's proposed method for evaluating an Artificial Intelligence involved having a human being on a computer converse with both a human

Em 2009, o então primeiro-ministro britânico Gordon Brown emitiu uma desculpa pública pelo tratamento"terrível" dado a Turing após uma petição on-line ganhar 30 mil assinaturas
In 2009, the then British Prime Minister Gordon Brown issued a public apology for the"appalling" treatment of Turing after an online petition gained 30,000 signatures

é o Prêmio Turing.
it's the Turing Award.

12º Barão do baronete Turing.
12th Baronet of the Turing baronets.

diferença entre linguagem recursiva, que exige que a máquina de Turing sempre pare.
which require that the Turing machine halts in all cases.

corresponde apenas parcialmente a Turing completude no sentido dado na computação universal.
corresponds only partially to Turing completeness in the sense of computational universality.

da incompletude de Gödel, e a resposta de Turing ao Entscheidungsproblem.
the first of Gödel's incompleteness theorems, and Turing's answer to the"Entscheidungsproblem.

Em 23 de junho do mesmo ano, em comemoração ao 100º aniversário de nascimento de Alan Turing, o logotipo do Google tornou-se uma Máquina de Turing interativa.
On June 23, 2012, in commemoration of Alan Turing's 100th birthday, Google's logo became an interactive Turing Machine.

Tanto Janoff quanto a Apple negam qualquer homenagem a Turing no desenho do logotipo.
Both Janoff and Apple deny any homage to Turing in the design of the logo.

De fato, a consequência da teoria de Church-Turing é que não há modelo razoável da computação que pode decidir linguagens que a máquina de Turing não pode.
In fact, a consequence of the Church-Turing thesis is that there is no reasonable model of computation which can decide languages that cannot be decided by a Turing machine.

A teoria hiperaritimética estuda aqueles conjuntos que podem ser computados a partir de um número ordinal computável de iterações de salto de Turing do conjunto vazio.
Hyperarithmetical theory studies those sets that can be computed from a computable ordinal number of iterates of the Turing jump of the empty set.

que podem ser similares a Turing.
which might be related to Turing.

vamos abordar a questão da inteligência e o Teste Turing.
we now have to turn to intelligence and the Turing Test.

As placas gráficas GeForce RTX da Nvidia são executadas na GPU Turing e em uma nova plataforma de desempenho.
Nvidia's GeForce RTX graphics cards run on the Turing GPU and a brand new performance platform.