Tradução de "proof of equivalence" para a língua portuguesa:

Dicionário Inglês-Português

Proof - translation :

Palavras-chave : Prova Viva Provar Provas Existe

Exemplos (Fontes externas, não revisadas)

Combinatorial proof A combinatorial proof establishes the equivalence of different expressions by showing that they count the same object in different ways.	Técnicas de prova não triviais e sua nomenclatura Uma prova combinatorial estabelece a equivalência de diferentes expressões mostrando que elas contam o mesmo objeto de maneiras diferentes.
Alpha equivalence A basic form of equivalence, definable on lambda terms, is alpha equivalence.	Alfa equivalência Uma forma básica de equivalência, definida para termos lambda, é chamada de alfa equivalência.
A recent area of research concerns Borel equivalence relations and more complicated definable equivalence relations.	Uma área recente de pesquisa diz respeito a relações de equivalência de Borel e relações de equivalência decidíveis mais complicadas.
This is said to be the equivalence class of .	Analogamente, formula_9 é outra classe de equivalência.
This blogger believes in moral equivalence shit .	Esse blogueiro acredita em bobagens sobre equivalência moral .
To deal with this, Unicode provides the mechanism of canonical equivalence.	Para padronizar essas opções, o padrão ainda fornece um mecanismo de equivalência canônica.
The equality equivalence relation is the finest equivalence relation on any set, while the trivial relation that makes all pairs of elements related is the coarsest.	Uma relação de equivalência é uma relação binária entre elementos de um dado conjunto, que satisfaz as propriedades de reflexividade, simetria e transitividade.
They're not proof of deception.	Não provam uma mentira.
Proof General	Proof General
A formal proof is a complete rendition of a mathematical proof within a formal system.	Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal.
Probabilistic proof, like proof by construction, is one of many ways to show existence theorems.	Provas probabilísticas são uma das muitas maneiras de provar teoremas de existência, além de prova por construção.
The difference is that instead of constructing a new proof, the proof verifier simply checks that a provided formal proof (or, in instructions that can be followed to create a formal proof) is correct.	A diferença é que ao invés de construir uma nova prova, o verificador de prova simplesmente checa se a prova formal fornecida (ou em instruções que podem ser seguidas para criar a prova formal) é correta.
They are designed to specify general criteria for assessing equivalence of valuation standards of third countries where the valuator is established in a third country , the equivalence of legislation of third countries regarding depositaries and , for the purpose of the authorisation of AIFM established in third countries , the equivalence of prudential regulation and ongoing supervision .	critérios gerais para determinação da equivalência das normas de avaliação utilizadas nos países terceiros onde o avaliador esteja estabelecido , da legislação desses países no que respeita aos depositários e , para efeitos da autorização de GFIA estabelecidos em países terceiros , da equivalência da sua legislação prudencial e da sua supervisão contínua
CoqIDE Proof Assistant	Assistente de testes CoqIDE
I have proof.	Eu tenho prova.
I've got proof.	Tenho as provas.
Proof by construction Proof by construction, or proof by example, is the construction of a concrete example with a property to show that something having that property exists.	Prova por construção consiste em construir um exemplo concreto com determinada propriedade para mostrar que existe algo com tal propriedade.
Geological proof of the deep origin of Petroleum.	Obras Outlook of the West Siberian petroleum potential.
Geological proof of the deep origin of Petroleum.	Geological proof of the deep origin of Petroleum.
The proof of x not being in X is the collection of all strings, none of which is a proof of membership.	O algoritmo em co RP é identico, exceto que fornece SIM se C não responde antes de ser interrompido.
In this case, equivalence over M leads to the concept of a recognizable language.	Nesse caso, a equivalência sobre M leva ao conceito de uma linguagem reconhecível.
That is, it predicts the equivalence between the harmonic and geometric means but it falls short by not predicting the equivalence between the harmonic and arithmetic means.	Ou seja, ele prevê a equivalência entre as médias harmônicas e geométricas, mas fica aquém por não prever a equivalência entre as médias harmônicas e aritméticas.
In increasing order of strength, the precise definition of these notions of equivalence is given below.	Em ordem crescente de força, a definição precisa destas noções de equivalência é dada abaixo.
And I'm living proof.	Eu sou a prova viva
And they're retaliation proof.	Eles são à prova de retaliação.
The proof is trivial.	A prova é trivial.
You have no proof.	Vocês não têm nenhuma prova.
You have no proof.	O senhor não tem nenhuma prova.
You have no proof.	A senhora não tem nenhuma prova.
You have no proof.	Você não tem nenhuma prova.
You have no proof.	Você não tem prova.
We have no proof.	Não temos provas.
The proof is irrefutable.	A prova é irrefutável.
Gödel's Proof , revised ed.	Gödel's Proof , revised ed.
This concludes the proof.	Isso conclui a prova.
In mathematics, when a set has an equivalence relation defined on its elements, there is a natural grouping of elements that are related to one another, forming what are called equivalence classes.	Em matemática, dado um conjunto formula_1 com uma relação de equivalência formula_2, a classe de equivalência de um elemento formula_3 é o subconjunto de todos os elementos de formula_1 que são equivalentes a formula_5.
The equivalence class of is the set of all elements in which get mapped to , i.e.	Então existe um conjunto formula_22 que contém um (e apenas um) elemento de cada classe de equivalência.
Incompleteness The Proof and Paradox of Kurt Gödel .	Incompleteness The Proof and Paradox of Kurt Gödel .
Some of these enzymes have proof reading mechanisms.	Estas enzimas possuem mecanismos de proof reading (revisão).
This became the first proof of her theory.	Gaia Uma teoria do conhecimento .
This is at the core of the proof.	A demonstração faz uso do axioma da escolha.
The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the theory itself.	A prova do segundo teorema é obtida pela formalização da prova do primeiro teorema da incompletude dentro da própria teoria.
There is a slight difference between the endpoint and the equivalence point of the titration.	O ponto de equivalência pode variar dependendo da concentração inicial do titulante e do titulado.
Newtonian mechanics Classical mechanics, which includes relativity, assumes the equivalence of all inertial reference frames.	Mecânica newtoniana A mecânica clássica, o que inclui relatividade, assume a equivalência de todos os referenciais inerciais.
Many bloggers posted photos of their index fingers stained with red electoral ink, proof of their having voted (and proof against multiple voting).	Muitos blogueiros publicaram fotos do seu dedo indicador manchado com tinta vermelha, uma prova de que votaram (e uma prova contra o voto múltiplo).

Display this page in English