Tradução de "teoria da auto" para o idioma inglês:


  Dicionário Português-Inglês

Auto - tradução : Auto - tradução : Teoria - tradução :

  Exemplos (Fontes externas, não revisadas)

atualmente, estes exemplos são meta teoremas da nossa teoria da lógica matemática desde que estejamos relacionados com o mais conceitos de auto prova.
Actually, these examples are metatheorems of our theory of mathematical logic since we are dealing with the very concept of proof itself.
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.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.
Portanto, a teoria da linguagem formal é uma grande área de aplicação da teoria da computabilidade e teoria da complexidade.
Therefore, formal language theory is a major application area of computability theory and complexity theory.
Existem diversas variantes da complexidade Kolmogorov ou teoria algorítmica da informação a mais amplamente utilizada é a baseada em programas auto delimitantes e é devido, principalmente, a Leonid Levin (1974).
There are several variants of Kolmogorov complexity or algorithmic information the most widely used one is based on self delimiting programs and is mainly due to Leonid Levin (1974).
Ela começou com a formulação da teoria da relatividade e da teoria quântica.
It was begun with the invention of relativity theory and quantum theory.
Teoria da Informação A teoria da informação envolve a quantificação de informação .
Number theory Number theory is concerned with the properties of numbers in general, particularly integers.
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.
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.
Teoria dos jogos, Teoria da decisão, Teoria da utilidade, Teoria da escolha social Cooperar Cooperar DefeitoDefeito 1, 1 10, 0Matriz de payoff para o dilema do prisioneiro , um exemplo comum em teoria dos jogos .
Game theory, decision theory, utility theory, social choice theory Decision theory is concerned with identifying the values, uncertainties and other issues relevant in a given decision, its rationality, and the resulting optimal decision.
O campo da teoria descritiva dos conjuntos efetiva está entre a teoria dos conjuntos e a teoria da recursão.
The field of effective descriptive set theory is between set theory and recursion theory.
Formação da teoria da literatura .
The Literary in Theory .
A teoria do equilíbrio geral é um ramo da teoria microeconômica.
Therefore, general equilibrium theory has traditionally been classified as part of microeconomics.
Teoria O elemento central da teoria de Luhmann é a comunicação.
Systems theory as societal theory Communication theory and Evolution theoryThe core element of Luhmann's theory is communication.
Teoria da computabilidade contínua A teoria da computabilidade para computação digital é bem desenvolvida.
Continuous computability theory Computability theory for digital computation is well developed.
O que é um auto da fé?
What is an auto da fé?
Auto estudo, auto exploração, auto poder estas são as virtudes de uma grande educação.
Self study, self exploration, self empowerment these are the virtues of a great education.
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 .
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 .
Novos desenvolvimentos alternativos incluem economia ecológica, economia evolucionária, teoria da dependência, economia estruturalista, teoria dos juros da abstinência e teoria do sistema mundo.
Alternative developments include ecological economics, constitutional economics, institutional economics, evolutionary economics, dependency theory, structuralist economics, world systems theory, econophysics, feminist economics and biophysical economics.
Ensaios sobre teoria da história .
Ankerl, Guy (1972) Sociologues Allemands.
Impondo se como líder intelectual da tendência Italiana da Nova Esquerda, ele influenciou os ativistas da união de estudantes (UNEF) e membros da CFDT (em particular Jean Auger, Mochel Roland e Fredo Krumnow) com a teoria da auto gestão operária.
Imposing himself as the intellectual leader of the 'Italian' tendency of the New Left (Michel Contat), he influenced activists of the UNEF students' union and of the CFDT (in particular on Jean Auger, Michel Rolant and Fredo Krumnow) as a theorist of workers' self management, recently embraced by the CFDT.
Sub áreas e escopoO manual de lógica matemática divide a matemática contemporânea em quarto áreas teoria dos conjuntos teoria dos modelos teoria da recursão teoria da prova e da matemática construtiva consideradas partes de uma única área.
Subfields and scope The Handbook of Mathematical Logic makes a rough division of contemporary mathematical logic into four areas set theory model theory recursion theory, and proof theory and constructive mathematics (considered as parts of a single area).
Ele discordou da teoria corpuscular de Newton da luz nos Opticks , que era então a teoria prevalecente.
He disagreed with Newton's corpuscular theory of light in the Opticks , which was then the prevailing theory.
Teoria da categoria Existem vários resultados na teoria da categoria que invocam o Axioma da Escolha para sua prova.
Category theory There are several results in category theory which invoke the axiom of choice for their proof.
A teoria das supercordas, ou teoria das cordas supersimétricas, é uma versão da teoria das cordas, que incorpora férmions e supersimetria.
'Superstring theory' is a shorthand for supersymmetric string theory because unlike bosonic string theory, it is the version of string theory that incorporates fermions and supersymmetry.
O método do forçamento ( forcing ) é aplicada na teoria dos conjuntos, na teoria dos modelos, na teoria da recursão, assim como no estudos da matemática intuiticionística.
The method of forcing is employed in set theory, model theory, and recursion theory, as well as in the study of intuitionistic mathematics.
Auto completar
Autocompletion
Auto formatar
Auto format
Auto estradas.
Freeways.
Auto retrato
Self Portrait
Parte da agonia da Síria vem da natureza auto realizável do conflito.
Part of Syria s agony is the self fulfilling nature of the conflict.
No entanto, há questões ainda sem resposta, sendo a mais fundamental delas explicar como a relatividade geral pode ser conciliada com as leis da física quântica para produzir uma teoria completa e auto consistente da gravitação quântica.
However, unanswered questions remain, the most fundamental being how general relativity can be reconciled with the laws of quantum physics to produce a complete and self consistent theory of quantum gravity.
Um teórico da teoria das cordas.
He's a string theorist.
Eles são consequência da teoria fundamental.
They follow from the fundamental theory.
Essa linha vermelha vem da teoria.
That red line is from the theory.
Todo mundo gosta da teoria aquática.
Everybody likes the aquatic theory.
Prolegômenos a uma teoria da linguagem.
The division of the drawing is arbitrary.
Michael Shermer O padrão por trás da auto decepção
Michael Shermer The pattern behind self deception
Mas na teoria da gavidade de Einstein, sua teoria geral da relatividade, a gravidade também pode separar coisas.
But in Einstein's theory of gravity, his general theory of relativity, gravity can also push things apart.
Esta solução é considerada como sendo o primeira teorema da teoria dos grafos, especificamente da teoria gráfica planar.
This solution is considered to be the first theorem of graph theory, specifically of planar graph theory.
Complexidade de Kolmogorov define uma nova teoria da informação, chamada teoria algorítmica da informação (por tratar com algoritmos).
History and context Algorithmic information theory is the area of computer science that studies Kolmogorov complexity and other complexity measures on strings (or other data structures).
A hipótese da deriva continental tornou se parte de uma teoria maior, a teoria da tectônica de placas.
Rejection of Wegener's theory The theory of continental drift was not accepted for many years.
Ela dispensou a teoria do valor trabalho em favor da teoria do valor utilidade marginal no lado da demanda e uma teoria mais geral de custos no lado da oferta.
It dispensed with the labour theory of value inherited from classical economics in favor of a marginal utility theory of value on the demand side and a more general theory of costs on the supply side.
Teoria de linguagens formais Expressões regulares podem ser expressas através da teoria de linguagens formais.
Formal language theory Regular expressions describe regular languages in formal language theory.
Uma abstração além da Teoria de Galois é conseguida pela teoria das conexões de Galois.
Further abstraction of Galois theory is achieved by the theory of Galois connections.
Teoria das Categorias Na Teoria das categorias, funções bijetivas são os isomorfismos da categoria Set.
Bijections and category theory Bijections are precisely the isomorphisms in the category Set of sets and set functions.
Eles querem ser auto ... Eles querem se auto policiarem eles mesmos.
They want to be self they want to self police themselves.

 

Pesquisas relacionadas : Teoria Da - Teoria Da Música - Teoria Da Contingência - Teoria Da Utilidade - Teoria Da Gravitação - Teoria Da Gravidade - Teoria Da Gravitação - Teoria Da Comunicação - Teoria Da Probabilidade - Teoria Da Relatividade - Teoria Da Relatividade - Teoria Da Informação - Teoria Da Herança - Teoria Da Comporta