Tradução de "as proof that" para a língua portuguesa:

Dicionário Inglês-Português

Proof - translation :

That - translation :

Palavras-chave : Prova Viva Provar Provas Existe Aquela Aquele Aquilo Essa Esse

Exemplos (Fontes externas, não revisadas)

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.
The photo was presented as proof.	A imagem foi apresentada com prova.
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.
I am proof that there is hope.	Eu sou a prova de que há esperança.
Do you have proof that God exists?	Você tem prova de que Deus existe?
Fourier's proof is the same as that usually given in textbooks on the theory of equations.	Prova de Fourier é o mesmo que o normalmente dado em livros sobre a teoria das equações.
Those tamper proof caps, that came from this.	Daí é que vieram as tampas invioláveis.
Where's the proof that he committed a crime?	Onde está a prova de que ele cometeu um crime?
As a proof of the concept, he constructed a telescope using a mirror as the objective to bypass that problem.	Para evitar esse problema, Newton construiu um telescópio refletor (conhecido como telescópio newtoniano).
But Chinese officials viewed the move as proof that Japan was trying to disrupt the status quo.	Mas os representantes chineses viram o movimento como prova de que o Japão estava a tentar perturbar o status quo.
This event is widely accepted as the first proof that the Baltic tribes were uniting and consolidating.	Este evento é amplamente aceito como a primeira prova de que as tribos bálticas estavam unidas e consolidadas.
The DNA origami is a proof that that compiler actually works.	O origami de DNA é uma prova de que o compilador realmente funciona.
Therefore, a proof that formula_13 also proves that formula_4 is true.	Portanto, uma prova de que formula_13 também prova que formula_4 é verdade.
It is known that formula_5 is irrational (see proof).	É sabido que formula_5 é irracional.
Proof General	Proof General
It is not correct to say that the axioms of field theory are propositions that are regarded as true without proof.	Não é correto dizer que os axiomas ou a teoria de campos são proposições que são consideradas como verdade sem nenhuma derivação .
Grandchildren are proof that some good comes from having children.	Os netos são a prova de que algo de bom vem do facto de ter filhos.
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.
Ryle would later take Gold's argument as proof of extragalactic evolution, claiming that it invalidated the Steady State theory.	Ryle viria a ter o argumento de Gold como prova de evolução extragaláctica, alegando que invalidou a teoria do estado estacionário.
CoqIDE Proof Assistant	Assistente de testes CoqIDE
I have proof.	Eu tenho prova.
I've got proof.	Tenho as provas.
This site used the image as proof of Muslims killing Nigerian Christians.	Este site usou a imagem como prova de um massacre perpetrado por muçulmanos contra cristãos nigerianos.
This could be the Philippines own proof that global warming exists.	Essa pode ser a própria prova vinda das Filipinas que o aquecimento global existe .
Mexico provides further proof that the market alone is not enough.	O México constitui uma prova de que o mercado só por si não é suficiente.
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 all these cases, the image was presented as proof of mass killings.	Em todos eles, a imagem foi apresentada para comprovar chacinas.
Techcrunch calls it proof that a crowd sourced photo agency can work.	Techcrunch afirma ser uma prova de que uma agência de fotos mantida coletivamente pode funcionar .
As a consequence of Cantor's proof that the real numbers are uncountable and the rationals countable, it follows that almost all real numbers are irrational.	Número irracional é um número real que não pode ser obtido pela divisão de dois números inteiros, ou seja, são números reais mas não racionais.
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.
My stomach was proof that I had failed, that it had failed me, that it was broken.	Minha barriga era a prova que eu tinha falhado, que ela tinha falhado comigo, que ela estava errada.
Opposition and international media quickly spread the news as more proof of regime crimes.	A oposição e os meios de comunicação internacionais foram rápidos a espalhar as notícias como provas adicionais dos crimes do regime.
This task, known as automatic proof verification, is closely related to automated theorem proving.	Essa tarefa, conhecida como verificação automática de provas, é relacionada a demonstração automática de teoremas.

Display this page in English