What is the translation of " THEORY OF COMPUTATION " in Portuguese?

• teoria da computação
• theory of computation

Examples of using Theory of computation in English and their translations into Portuguese

Introduction to the Theory of Computation.
Introdução à Teoria da Computação.

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

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

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

Introduction to the Theory of Computation 3rd.
Introdução à Teoria da Computação Segunda edição ed.

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

Majors take courses in the theory of computation and analysis of algorithms.
Majors fazem cursos na teoria de computação e análise de algoritmos.

On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines.
Em uma teoria da computação e complexidade nos números reais: NP-completude, funções recursivas e máquinas universais.

Publications==*"Elements of the Theory of Computation" with Harry R. Lewis.
Produções bibliograficas==*"Elements of the Theory of Computation" with Harry R. Lewis.

Finite state machines are a class of automata studied in automata theory and the theory of computation.
Máquinas de estados finitos são uma classe de autômatos estudada na teoria dos autômatos e teoria da computação.

If you take a course on the Theory of Computation, you will have a chance to see the proof.
Se voc zer um curso em Teoria da Computao, voc ter chance de ver a prova.

BlooP and FlooP Total functional programming Brainerd, W.S., Landweber, L.H.(1974), Theory of Computation, Wiley.
Tese de Church-Turing Teoria da computação Teoria da informação Hierarquia de Chomsky Brainerd, W.S.,(1974), Theory of Computation, Wiley.

Automata play a major role in theory of computation, compiler design, artificial intelligence, parsing and formal verification.
Autômatos desempenham um papel importante em teoria da computação, elaboração de compiladores, parsing e verificação formal.

Results Through the described activities, an introduction is made to a wide area of fundamental concepts of the Theory of Computation.
Resultados Através das atividades aqui descritas, dá-se introdução a uma ampla gama de conceitos fundamentais da Teoria da Computação.

His research areas include discrete mathematics, theory of computation and probability theory..
Suas áreas de pesquisa incluem matemática discreta, teoria da computação e teoria das probabilidades.

In the theory of computation, a Moore machine is a finite-state machine whose output values are determined only by its current state.
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.

Known for the Sudan function, an important example in the theory of computation, similar to the Ackermann function.
Conhecido pela função de Sudan(1927), um exemplo fundamental na teoria da computação, similar à função de Ackermann 1928.

Although hilbert has not obtained full success in your program, it will be demonstrated how their ideas influenced the development of the theory of computation turing.
Embora hilbert não tenha obtido pleno êxito em seu programa, será demonstrado como suas concepções influenciaram o desenvolvimento da teoria da computação de turing.

Martin-Löf's key insight was to use the theory of computation to formally define the notion of a test for randomness.
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.

It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science.
É 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..

Automata play a major role in theory of computation, compiler construction, artificial intelligence, parsing and formal verification.
Autômatos desempenham um papel importante em teoria da computação, elaboração de compiladores, inteligência artificial, análise sintática e verificação formal.

It is important because NFAs can be used to reduce the complexity of the mathematical work required to establish many important properties in the theory of computation.
Isso é importante porque AFNDs podem ser usadas para reduzir a complexidade do trabalho matemático necessário para estabelecer muitas propriedades importantes na teoria da 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 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..

Today, the counter, register and random-access machines and their sire the Turing machine continue to be the models of choice for theorists investigating questions in the theory of computation.
Hoje, o contador, registrador e máquinas de acesso aleatório e 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, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms see computational complexity theory..
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.

Last but not least, you must be familiar with fundamental concepts from the theory of computation such as automata, formal languages, computability, and computational complexity.
Por último, mas não menos importante, você deve estar familiarizado com os conceitos fundamentais da teoria da computação, como autômatos, linguagens formais, computabilidade e complexidade computacional.

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

Major areas within the computer science program include programming languages, algorithms, operating systems, computer architecture, database systems, and theory of computation.
As principais áreas no âmbito do programa de ciência da computação incluem linguagens de programação, algoritmos, sistemas operacionais, arquitetura de computadores, sistemas de banco de dados e teoria da computação.

Computable number Effective method Theory of computation Recursion theory Turing degree Arithmetical hierarchy Hypercomputation Super-recursive algorithm Semicomputable function Enderton.
Número computável Método efetivo Teoria da computação Teoria da recursão Grau de Turing Hierarquia aritmética Hipercomputação Algoritmo Super-Recursivo Função semicomputável.

The display board"FAPESP Support in Numbers" presents the number of ongoing or completed scholarships and research grants, awarded by the Foundation, classified in the sub-area Theory of Computation.
A caixa de"Apoio FAPESP em Números" permite a visualização 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.