O Que é A TEORIA DA COMPUTAÇÃO em Inglês

• computability theory
• to the theory of computation

Exemplos de uso de A teoria da computação em Português e suas traduções para o Inglês

A teoria da computação é agora a teoria quântica da computação.
The theory of computation is now the quantum theory of computation.

A discussão seguinte é baseada no livro deMichael Sipser's," Introdução a teoria da computação.
The following discussion is based on Michael Sipser's textbook Introduction to the Theory of Computation.

A teoria da computação se baseia em conceitos definidos pelos lógicos e matemáticos, como Alonzo Church e Alan Turing.
The theory of computation is based on concepts defined by logicians and mathematicians such as Alonzo Church and Alan Turing.

A discussão seguinte é baseada no livro de Michael Sipser's," Introdução a teoria da computação.
The following discussion is based on Michael Sipser's textbook"Introduction to the Theory of Computation.

Na teoria da computação, uma máquina de Moore é uma máquina de estados finita cujos valores de saída são determinados somente pelo estado atual.
In the theory of computation, a Moore machine is a finite-state machine whose output values are determined only by its current state.

A percepção-chave de Martin-Löf era usar a teoria da computação para definir formalmente a noção de um teste de aleatoriedade.
Martin-Löf's key insight was to use the theory of computation to formally define the notion of a test for randomness.

Na Teoria da Computação, uma redução em espaço logaritmico, é uma redução computável por uma maquina de Turing deterministica usando espaço logarítmico.
In computational complexity theory, a log-space reduction is a reduction computable by a deterministic Turing machine using logarithmic space.

Essa noção de algoritmo ótimo serve muito bem para ilustrar a importância da Teoria da Computação, em particular da Análise de Algoritmos.
This notion of the optimal algorithm is quite useful to illustrate the importance of Computing Theory, in particular Algorithmic Analysis.

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.
In computability theory, the theory of real computation deals with hypothetical computing machines using infinite-precision real numbers.

Em 1 de janeiro de 2018, Goldwasser tornou-se diretora do Instituto Simons para a Teoria da Computação na Universidade da Califórnia, Berkeley.
On January 1, 2018, Goldwasser became the director of the Simons Institute for the Theory of Computing at the University of California, Berkeley.

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.
In computability theory Post's theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees.

É um tópico chave para o campo da Teoria da Computabilidade dentro da Lógica Matemática e para a Teoria da Computação dentro da Ciência da Computação..
It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.

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 machine that always halts, also called a decider or a total Turing machine, is a Turing machine that eventually halts for every input.

Kirkus Reviews elogiou o livro, afirmando que"os leitores não familiarizados com a lógica e a teoria da computação terão algumas dificuldades, mas aqueles que persistem vão descobrir uma fascinante visão.
Kirkus Reviews praised the book, stating"Readers unfamiliar with logic and computer theory will have a difficult time, but those who persist will discover fascinating insights.

A teoria da computação, um subcampo da ciência da computação e matemática, busca determinar quais problemas podem ser computados em um dado modelo de computação..
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation,.

A procura sistemática dos fundamentos da matemática começou no fim do século XIX e formou uma nova disciplina da matemática chamada lógica matemática, que tem fortes ligações com a teoria da computação.
The systematic search for the foundations of mathematics started at the end of the 19th century and formed a new mathematical discipline called mathematical logic, with strong links to theoretical computer science.

A teoria da computação de Alan Turing especialmente como descrito em"O princípio de Turing" de Deutsch, com a máquina de Turing universal sendo substituída pelo computador quântico universal de Deutsch.
Alan Turing's theory of computation, especially as developed in Deutsch's"Turing principle", where Turing's Universal Turing machine is replaced by Deutsch's universal quantum computer.

Ciência da computação teórica(TCS) é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.
Theoretical computer science is a division or subset of general computer science and mathematics that focuses on more abstract or mathematical aspects of computing and includes the theory of computation.

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..

Por contribuições transformativas à teoria da computação, incluindo a teoria do aprendizado provavelmente aproximadamente correto(PAC), a complexidade da enumeração e da computação algébrica, e a teoria da computação paralela e distribuída.
For transformative contributions to the theory of computation, including the theory of probably approximately correct(PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing.

Teoria da computação==O primeiro resultado da teoria da computação foi a descoberta de que é impossível, no geral, prever o que um programa Turing-completo irá fazer em um tempo arbitrariamente longo.
Computability theory==The first result of computability theory is that it is impossible in general to predict what a Turing-complete program will do over an arbitrarily long time.

As declarações"verificáveis em tempo polinomial por um Máquina da Turing Determinística" e"solúveis em tempo polinomial por uma Máquina de Turing não-determinística" são totalmente equivalentes, e a prova pode ser encontrada em vários livros, por exemplo o livro de Sipser:"Introdução a Teoria da Computação", capitulo 7.3.
The statements"verifiable in polynomial time by a deterministic Turing machine" and"solvable in polynomial time by a non-deterministic Turing machine" are totally equivalent, and the proof can be found in many textbooks, for example Sipser's"Introduction to the Theory of Computation", section 7.3.

Na Teoria da Computação, a redução de Turing de um problema A para um problema B, nomeado após Alan Turing, é uma redução que resolve A, assumindo que B já é conhecidoRogers 1967, Soare 1987.
In computability theory, a Turing reduction(also known as a Cook reduction) from a problem A to a problem B, is a reduction which solves A, assuming the solution to B is already known Rogers 1967, Soare 1987.

Como Fich(1996) escreveu, o STOC e sua contrapartida do IEEE, o FCOS(Simpósio de Fundamentos da Ciência da Computação), são considerados amplamente as duas melhores conferências de informática teórica do mundo:"são fóruns de discussão de alguns dos melhores trabalhos de toda a teoria da computação, promovem uma amplitude de conhecimento entre os pesquisadores da teoria da computação e ajudam a manter a comunidade científica unida.
As Fich(1996) writes, FOCS and its annual Association for Computing Machinery counterpart STOC(the Symposium on Theory of Computing) are considered the two top conferences in theoretical computer science, considered broadly: they“are forums for some of the best work throughout theory of computing that promote breadth among theory of computing researchers and help to keep the community together.”.

Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente sim ou não.
In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer.

Em reconhecimento pela sua contribuição fundamental para a teoria da computação, incluindo a teoria(complexity-based) da geração de números pseudo-aleatórios, criptografia, e Complexidade de comunicação.
In recognition of his fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity.

Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente"sim" ou"não.
In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is known to be impossible to construct a single algorithm that always leads to a correct yes-or-no answer.

Na teoria da computação, o teorema de Rice afirma que, para qualquer propriedade não-trivial de funções parciais, não existe um método geral e eficaz para decidir se um algoritmo calcula uma função parcial com essa propriedade.
In computability theory, Rice's theorem states that, for any non-trivial property of partial functions, there is no general and effective method to decide whether an algorithm computes a partial function with that property.

Na teoria da computação uma bissimulação é uma relação binária entre sistemas de transição de estados, ou também chamados apenas de sistemas de transição(sistemas constituintes de estados e transições), associando sistemas que se comportam da mesma maneira no sentido de que um sistema simula o outro e vice-versa.
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in the sense that one system simulates the other and vice versa.

Na teoria da computação e na teoria dos autômatos, a construção do conjunto das partes é um método padrão para converter autômatos finitos não-determinísticos(AFN) em autômatos finitos determinísticos(AFD) que reconheçam a mesma linguagem.
In the theory of computation and Automata theory, the powerset construction or subset construction is a standard method for converting a nondeterministic finite automaton(NFA) into a deterministic finite automaton(DFA) which recognizes the same formal language.

Como usar "a teoria da computação" em uma frase

Esta obra apresenta a teoria da computação por meio de teoremas e provas, sempre com a preocupação do autor em mostrar a i(introdução à teoria da computação.

Tien Wei Chu começou a ensinar a teoria da computação já em 60 ou 61", lembra.

A introdução de Turing do modelo de máquina que posteriormente ficou conhecido como Máquinas de Turing, introduzido no artigo, provou-se um modelo muito conveniente para a Teoria da Computação.6.

O que dizer de um homem que criou a teoria da computação e, não satisfeito, arregaçou as mangas e assumiu um papel central na construção dos primeiroscomputadores?

Itc si1 bem-vindos à disciplina de 06239 - introdução a teoria da computação do curso de bsi da ufrpe.

Estudar a teoria da computação providencia conceitos e princípios que ajudam a entender a natureza geral da computação.

Introdução à teoria da michael sipser michael sipser outras obras tradução da computação esta obra apresenta a teoria da computação.

Esta obra apresenta a teoria da computação por meio de teoremas e provas, sempre com a preocupação do autor em mostrar a intuição por trás de cada resultado e.

Alia a teoria da Computação com recursos que os mais novos gostam, como o Minecraft, por exemplo.

Calegari, Rafael (9736648) Trata-se de um livro que une a Teoria da Computação com a Lógica Simbólica.