Exemplos de uso de Teoria da computação em Português e suas traduções para o Inglês
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
Introdução à Teoria da Computação.
A teoria da computação é agora a teoria quântica da computação.
The theory of computation is now the quantum theory of computation.Isto está intimamente relacionado ao conceito de uma redução de muitos-para-um em teoria da computação.
Introdução à Teoria da Computação Segunda edição ed.
Introduction to the Theory of Computation 3rd.A discussão seguinte é baseada no livro de Michael Sipser's," Introdução a teoria da computação.
Combinations with other parts of speech
Uso com adjetivos
teoria geral
teoria econômica
nova teoriateoria política
teoria quântica
teoria social
teoria marxista
teoria científica
teoria histórico-cultural
teoria psicanalítica
Mais
Muitas vezes, na teoria da computação, o termo"algoritmo" refere-se a um algoritmo determinístico.
Often in computational theory, the term"algorithm" refers to a deterministic algorithm.Suas áreas de pesquisa incluem matemática discreta, teoria da computação e teoria das probabilidades.
His research areas include discrete mathematics, theory of computation and probability Uso==Muitas vezes, na teoria da computação, o termo"algoritmo" refere-se a um algoritmo determinístico.
Use==Often in computational theory, the term"algorithm" refers to a deterministic algorithm.Em Proceedings of the 21st Annual ACM Symposium sobre Teoria da Computação, páginas 433-444, de Nova York.
Kearns L. G. Valiant In Proceedings 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.Conhecido pela função de Sudan(1927),um exemplo fundamental na teoria da computação, similar à função de Ackermann 1928.
Known for the Sudan function,an important example in the theory of computation, similar to the Ackermann function.Em uma teoria da computação e complexidade nos números reais: NP-completude, funções recursivas e máquinas universais.
On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines.Máquinas de estados finitos são uma classe de autômatos estudada na teoria dos autômatos e teoria da computação.
Finite state machines are a class Em teoria da computação e complexidade, uma redução é uma transformação de um problema em outro.
In computability theory and computational complexity Autômatos desempenham um papel importante em teoria da computação, elaboração de compiladores, parsing e verificação formal.
Automata play a major role in theory of computation, compiler design, artificial intelligence, parsing and formal verification.Essa interpretação da tese de Church-Turing difere da interpretação comumente aceite em Teoria da Computação.
This interpretation of the Church-Turing thesis differs from the interpretation commonly accepted in computability theory, discussed above.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 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.ACC0, às vezes chamado de ACC, é uma classe de modelos computacionais e problemas definidos em complexidade do circuito,uma área da teoria da computação.
ACC0, sometimes called ACC, is a class of computational models and problems defined in circuit complexity,a field of theoretical computer science.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.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 De fato, na teoria da computação é mostrado que as funções μ-recursivas são precisamente as que podem ser computadas por máquinas de Turing.
In fact, in computability theory it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines.Um grande número de problemas pode ser conceituado através de algoritmos não determinísticos,incluindo a questão não resolvida mais famosa em teoria da computação, P versus NP.
A large number of problems can be conceptualized through nondeterministic algorithms,including the most famous unresolved question in computing theory, P vs NP.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.
Automata play a major role in theory of computation, compiler construction, artificial intelligence, parsing and formal verification.A questão de se tal algoritmo existe é chamada de o Problema P versus NP eesse é amplamente considerado o mais importante problema sem solução da teoria da computação.
The question of whether such an algorithm exists is called the P versus NP problem andit is widely considered the most important unsolved problem in theoretical computer science.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 É 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 Além do seu trabalho em teoria da computação, Savitch escreveu diversos livros textos para cursos de programação em C/C++, Java, Ada, Pascal e outras.
Aside from his work in theoretical computer science, Savitch has written a number of textbooks for learning to program in C/C++, Java, Ada, Pascal and others.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.
Although hilbert has not obtained full success in your program,it will be demonstrated how their ideas influenced 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.
