Tradução de "proof the performance" para a língua portuguesa:

Dicionário Inglês-Português

Performance - translation :

Proof - translation :

Palavras-chave : Desempenho Actuação Performance Atuação Representação Prova Viva Provar Provas Existe

Exemplos (Fontes externas, não revisadas)

The proof is trivial.	A prova é trivial.
The proof is irrefutable.	A prova é irrefutável.
This concludes the proof.	Isso conclui a prova.
Proof General	Proof General
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.
CoqIDE Proof Assistant	Assistente de testes CoqIDE
I have proof.	Eu tenho prova.
I've got proof.	Tenho as provas.
So, let's look at the proof.	Então, vamos olhar as evidências.
The photo was presented as proof.	A imagem foi apresentada com prova.
Therefore, we get formula_41which completes the proof.	Que leva a formula_41.
Therefore, we obtain formula_62which completes the proof.	Logo, obtemos formula_59que completa a prova.
And I'm living proof.	Eu sou a prova viva
And they're retaliation proof.	Eles são à prova de retaliação.
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.
Gödel's Proof , revised ed.	Gödel's Proof , revised ed.
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.
The proof is left to the reader.	A prova fica como exercício para o leitor.
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.
Graphical interface for the Coq proof assistant	Interface Gráfico para o Assistente de testes CoqIDE
They're not proof of deception.	Não provam uma mentira.
And this is climate proof.	e isso é à prova de clima,
She doesn't have any proof.	Ela não tem nenhuma prova.
We don't have any proof.	Não temos nenhuma prova.
This time we have proof.	Desta vez temos provas.
Tom doesn't have any proof.	Tom não tem nenhuma prova.
Police never had enough proof.	A polícia nunca teve provas suficientes.
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.
This is at the core of the proof.	A demonstração faz uso do axioma da escolha.
Say Bring the proof if you are truthful.	Dize lhes Mostrai vossa prova se estiverdes certos.
Where's the proof that he committed a crime?	Onde está a prova de que ele cometeu um crime?
Incompleteness The Proof and Paradox of Kurt Gödel .	Incompleteness The Proof and Paradox of Kurt Gödel .
This became the first proof of her theory.	Gaia Uma teoria do conhecimento .
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.
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.
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.
This is a nuclear proof facility.	Esta é uma intalação a prova de ataque nuclear.
Proof Let A be infinite RE.	Prova Seja A um RE infinito.

Display this page in English