Tradução de "theory of computing" para a língua portuguesa:

Dicionário Inglês-Português

Computing - translation :

Theory - translation :

Palavras-chave : Cálculo Móvel Engenharia Processar Sensores Teoria Teoria Teorias Conspiração Testar

Exemplos (Fontes externas, não revisadas)

Stephen Wolfram Computing a theory of everything	Stephen Wolfram Computação e a teoria do tudo
Scientific computing environment	Ambiente de computação científica
Computing Further reading	Isso é conhecido como soma vazia.
The Astronomical Computing Bureau, Columbia University performed astronomical calculations representing the state of the art in computing.	Os cálculos astronômicos representaram o estado da arte na computação.
DNA computing, or, more generally, biomolecular computing, is a fast developing interdisciplinary area.	O DNA acumula 100 trilhões de vezes a informação armazenada nos mais sofisticados sistemas de computação atual.
Computing the Summation of the Möbius Function.	Ver também Função de Möbius.
Create physical computing projects	Crie projectos de computação física
Pokémon is the result of three computing events.	é resultado de três eventos computacionais.
It's called thought controlled computing.	É chamada de computação controlada pelo pensamento.
Scientific Computing using GNU Octave	Computação científica com o GNU Octave
So the machine is computing.	Então a máquina é o computador.
This was how computing began.	Isto foi como a computação começou.
If we come back to our exponential growth of computing, 1,000 dollars of computing is now somewhere between an insect and a mouse brain.	Se nós voltarmos ao nosso crescimento exponencial na computação, 1.000 dólares de computação está agora entre um cérebro de inseto e de um rato.
Systems theory as societal theory Communication theory and Evolution theoryThe core element of Luhmann's theory is communication.	Teoria O elemento central da teoria de Luhmann é a comunicação.
Telecommunications, entertainment, computing and everything else.	Telecomunicações, entretenimento, computação e tudo mais.
Our whole practice depends on computing.	Nossa profissão inteira depende da computação.
The Pure Theory of Law as a theory of positive law In the first paragraph of Pure Theory of Law , Kelsen introduces his theory as being a theory of positive law.	Sobre a inconstitucionalidade Kelsen, reconhecido por sua grande criatividade, foi também o criador da teoria da modulação dos efeitos da declaração de inconstitucionalidade nos sistemas jurídicos da família romano germânica.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.	A lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova.
It's kind of like a new approach to desktop computing.	Isso é como um tipo de novo conceito de área de trabalho do computador.
See also Applet Shared library Add ons for Firefox Add on (Mozilla) Browser extension Theme (computing) Skin (computing) References	Ver também Applet Biblioteca (computação)
Some commonly known examples include set theory and number theory however literary theory, critical theory, and music theory are also of the same form.	As mudanças de teoria ocorrem porque uma teoria satisfaz mais do que outra, porque as questões a que dá resposta são consideradas mais importantes.
The field of effective descriptive set theory is between set theory and recursion theory.	O campo da teoria descritiva dos conjuntos efetiva está entre a teoria dos conjuntos e a teoria da recursão.
Association for Computing Machinery, v. 13, No.	Association for Computing Machinery, v. 13, No.
Association for Computing Machinery, v. 16, pp.	Association for Computing Machinery, v. 16, pp.
Association for Computing Machinery, v. 22, No.	Association for Computing Machinery, v. 22, No.
Therefore, formal language theory is a major application area of computability theory and complexity theory.	Portanto, a teoria da linguagem formal é uma grande área de aplicação da teoria da computabilidade e teoria da complexidade.
pursued problems in combinatorics, graph theory, number theory, classical analysis, approximation theory, set theory, and probability theory.	Trabalhou em problemas de análise combinatória, teoria dos grafos, teoria dos números, teoria dos conjuntos, análise matemática e teoria das probabilidades.
It's the era of big business and data centers for computing.	É a era dos grandes negócios e data centers de computação.
They are a network of small computing machines, working in networks.	São uma rede de pequenas máquinas computacionais, trabalhando em rede.
Category theory can be used to formalize concepts of other high level abstractions such as set theory, ring theory, and group theory.	As aplicações de teoria das categorias estendem se por áreas como álgebra, teoria da recursividade, semântica formal, etc.
Theory and Politics Studies in the Development of Critical Theory .	Theory and Politics Studies in the Development of Critical Theory .
Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.	Lógica matemática é uma extensão da lógica simbólica em outras áreas, em especial para o estudo da teoria dos modelos, teoria da demonstração, teoria dos conjuntos e teoria da recursão.
John Horton Conway FRS ( born 26 December 1937) is a British mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory.	John Horton Conway (Liverpool, ) é um matemático ativo na teoria dos grupos finitos, teoria dos nós, teoria dos números, teoria combinatória dos jogos e teoria de códigos.
R software environment for statistical computing and graphics	R software ambiente de computação estatística e gráficos
They have computing power, they have electrical signals.	Elas tem capacidade computacional. Tem sinais elétricos.
History The earliest computing machines had fixed programs.	Descrição As primeiras máquinas de computação tinham programas fixos.
Dijkstra was one of the early pioneers in the field of distributed computing.	Em 1989 foi publicado um artigo com conclusões de Dijkstra sobre o assunto.
Operations research techniques include linear programming and other areas of optimization, queuing theory, scheduling theory, network theory.	Técnicas de pesquisa operacional incluem programação linear e outras áreas de otimização , teoria das filas , teoria de programação , teoria de rede .
Early group theory There were several threads in the early development of group theory, in modern language loosely corresponding to number theory , theory of equations , and geometry .	História primitiva da teoria dos grupos Existiam vários tópicos no desenvolvimento inicial da teoria dos grupos, em linguagem matemática moderna correspondendo a teoria dos números , teoria de equações , e geometria .
So, that's the step after this of computing as a raw material.	Então, este é o passo seguinte a computação como matéria prima.
(1966) On the Length of Programs for Computing Finite Binary Sequences, J.	(1966) On the Length of Programs for Computing Finite Binary Sequences, J.
The result of these various requirements was the PowerPC ( Performance Computing ) specification.	O resultado destes vários requisitos da especificação era PowerPC (Performance Computacional).
Statistical computing The rapid and sustained increases in computing power starting from the second half of the 20th century have had a substantial impact on the practice of statistical science.	Estatística computacional O crescimento rápido e sustentados no poder de processamento dos computadores a partir da segunda metade do século XX teve um forte impacto na prática da estatística.
He became the Professor of Computing Science at the Queen's University of Belfast in 1968, and in 1977 returned to Oxford as the Professor of Computing to lead the Programming Research Group in the Oxford University Computing Laboratory (now Department of Computer Science, University of Oxford), following the death of Christopher Strachey.	Tornou se professor de Ciência da Computação na Queen's University, em Belfast (Irlanda do Norte) em 1968, e em 1977 mudou se para Oxford, também para trabalhar como professor.
The theory of biological evolution is more than just a theory.	Não se acredita em uma teoria.

Display this page in English