THEORY OF COMPUTATION - tradução para Português

• teoria da computação
• theory of computation

Exemplos de uso de Theory of computation em Inglês e suas traduções para o Português

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

mathematical aspects of computing and includes the theory of computation.
matemáticos da computação e inclui a teoria da computação.

Computational complexity theory===Computational complexity theory is a branch of the theory of computation that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.
Teoria da Complexidade Computacional===Teoria da complexidade computacional é um ramo da teoria da computação que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classe.

Computational complexity theory is a branch of the theory of computation in theoretical computer science
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica

He is the author of"The Mathematical Theory of Computation"(McGraw Hill,
É professor da Universidade Stanford e autor de"The Mathematical Theory of Computation"(McGraw Hill,

M.(1996),"Introduction to the Theory of Computation", PWS Publishing Co.
M.(1996),"Introduction to the Theory of Computation", PWS Publishing Co.

The study reveals gaps in the semiotic theory of computation by tanaka-ishii, proposes ways to overcome them through the application of peirce¿s semiotics
O estudo revela lacunas na teoria semiótica computacional de tanaka-ishii, propõe caminhos para preenchê-las através da aplicação da semiótica de peirce

In addition, he is a principal in the Theory of Computation research group in the MIT Computer Science and Artificial Intelligence Laboratory,
É também chefe do grupo de pesquisa em teoria da computação do MIT Computer Science and Artificial Intelligence Laboratory,

Other standard special functions===* Lambda function* Lamé function* Mittag-Leffler function* Painlevé transcendents* Parabolic cylinder function* Synchrotron function===Miscellaneous functions===* Ackermann function: in the theory of computation, a computable function that is not primitive recursive.
Outras funções especiais-padrão===* Função lambda* Função de Lamé* Função de Mittag-Leffler* Transcendentes de Painlevé* Função cilíndrica parabólica* Função sincrotônica===Funções miscelâneas===* Função de Ackermann: na teoria da computação, uma função computável que não é primitiva recursiva.

In the theory of computation and Automata theory,
Na teoria da computação e na teoria dos autômatos,

their sire the Turing machine continue to be the models of choice for theorists investigating questions in the theory of computation.
seu pai a máquina de Turing continuam a ser os modelos de escolha para os teóricos que investigam questões da teoria da computação.

In the theory of computation, a generalized nondeterministic finite automaton(GNFA),
Na Teoria da computação, um autômato finito não determinístico generalizado(AFNG),

for example Sipser's"Introduction to the Theory of Computation", section 7.3.
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.

As Michael Sipser points out in"Introduction to the Theory of Computation":"The reduction must be easy, relative to the complexity of
Como Michael Sipser salienta em"Introduction to the Theory of Computation":"Uma redução deve ser fácil,

part of Theory of Computation syllabus, by David Matuszek.
part of Theory of Computation syllabus, by David Matuszek.

Smale is also known for injecting Morse theory into mathematical economics, as well as recent explorations of various theories of computation.
Smale é também conhecido por aplicar a teoria de Morse na economia matemática, e também pelas suas incursões na teoria da computação e na biologia.

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.

UYA Mathematical theory of computation.
UYA Teoria matemática da informática.

an introduction is made to a wide area of fundamental concepts of the Theory of Computation.
dá-se introdução a uma ampla gama de conceitos fundamentais da Teoria da Computação.

of ongoing or completed scholarships and research grants, awarded by the Foundation,"> classified in the sub-area Theory of Computation.
da totalidade de auxílios à pesquisa e bolsas concedidos pela Fundação, em andamento ou concluídos,"> classificados na subárea Teoria da Computação.