Translation of "as proof" to Portuguese language:

Dictionary English-Portuguese

As proof - translation :

Proof - translation :

Keywords : Prova Viva Provar Provas Existe

Examples (External sources, not reviewed)

The photo was presented as proof.	A imagem foi apresentada com prova.
Proof General	Proof General
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.
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.
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.
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 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.
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.
Concepts such as infinite proof trees or infinite derivation trees have also been studied, e.g.	Conceitos como prova infinita de árvores ou derivação infinitas de árvores também foram estudadas, e. g., a lógica infinitária.
This is a nuclear proof facility.	Esta é uma intalação a prova de ataque nuclear.
So, let's look at the proof.	Então, vamos olhar as evidências.
Proof Let A be infinite RE.	Prova Seja A um RE infinito.
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.
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.
In the following year he used (and named) the gyroscope as a conceptually simpler experimental proof.	No ano seguinte, utilizou (e nomeou) o giroscópio como a comprovação experimental conceitualmente mais simples.
Nelson's own captains presented him with a sword and a portrait as proof of their esteem.	Dos seus próprios capitães, Nelson recebeu uma espada e uma gravura como prova da sua estima .
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).
Graphical interface for the Coq proof assistant	Interface Gráfico para o Assistente de testes CoqIDE
And I say, Nope. I have proof.	E eu digo, Não. Eu tenho a prova.

Exibir esta página em português