Tradução de "as proof for" 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)

The photo was presented as proof.	A imagem foi apresentada com prova.
Graphical interface for the Coq proof assistant	Interface Gráfico para o Assistente de testes CoqIDE
Proof General	Proof General
CoqIDE Proof Assistant	Assistente de testes CoqIDE
I have proof.	Eu tenho prova.
I've got proof.	Tenho as provas.
I could not have asked for a better proof of concept.	Eu não poderia ter pedido uma prova de conceito melhor que essa.
It contained Argand's proof, although Argand is not credited for it.	A demonstração em questão é a de Argand, embora este não seja mencionado.
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.
As a proof of principle, we decided to synthesize a new family of biodegradable polymers, called polyanhydrides, for medical use.	Como prova preliminar de eficácia, decidimos sintetizar uma nova família de polímeros biodegradáveis, chamados polianidridos, para uso médico.
Typically, the computer can recognize the axioms and logical rules for deriving theorems, and the computer can recognize whether a proof is valid, but to determine whether a proof exists for a statement is only soluble by waiting for the proof or disproof to be generated.	Tipicamente, um computador pode reconhecer axiomas e regras lógicas para derivar teoremas, e se uma prova é válida, mas para determinar se a prova para uma afirmação existe deve se esperar e ver se a prova ou a negação é gerada.
A few years later, Gentzen gave a consistency proof for Peano arithmetic.	Poucos anos depois, Gentzen deu uma prova consistente para a aritmética de Peano.
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.
Then Q( n ) is true for all n if and only if P( n ) is true for all n , and a proof of P( n ) by complete induction is just the same thing as a proof of Q( n ) by (ordinary) induction.	(Por isso a prova desta identidade requer uma base dupla requer inicialmente a demonstração de que a identidade é verdadeira tanto para n 0 quanto para n 1).
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.
Ibn al Haytham is also regarded as the father of optics, especially for his empirical proof of the intromission theory of light.	Ibn al Haytham é também considerado como o pai da ótica.
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.
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.
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.
Proof by contradiction In proof by contradiction (also known as reductio ad absurdum , Latin for by reduction to the absurd ), it is shown that if some statement were true, a logical contradiction occurs, hence the statement must be false.	Prova por contradição (também conhecida como reductio ad absurdum ) é mostrado que se algum enunciado fosse verdadeiro, ocorreria uma contradição lógica, e portanto o enunciado deve ser falso.
But the potter had proof that Cabrera had thanked him for providing the stones for the museum.	Mas o oleiro tinha provas que Cabrera lhe tinha agradecido por providenciar as pedras para o museu.
Many of these theorems are independent of ZFC, requiring stronger axioms for their proof.	Muitos desses teoremas são independentes de ZFC, exigindo axiomas mais fortes para a sua 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.
Each NCB shall , when asked by a counterparty of the ECB for proof of the NCB 's authority to carry out operations involving the foreign reserve assets of the ECB as an agent for the ECB , provide such counterparties with proof of a mandate of agency .	Cada BCN , quando solicitado por uma contraparte do BCE a provar a sua competência para realizar , na qualidade de mandatário do BCE , operações relacionadas com os activos de reserva do BCE , deve apresentar a essa contraparte prova do mandato e dos poderes de representação .
Only receipts from post offices and official carriers will be accepted as proof of dispatch.	Apenas os recibos dos correios ou de transportadoras oficiais serão aceites como prova de envio.

Display this page in English