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

Almost all of these are not only small, they are proliferation proof.	Quase todos esses não são apenas pequenos, são seguros contra proliferação nuclear.
Say Bring the proof if you are truthful.	Dize lhes Mostrai vossa prova se estiverdes certos.
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.
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.
They're not proof of deception.	Não provam uma mentira.
People are often quite skeptical about things unless given believable proof.	As pessoas são geralmente bem céticas em relação às coisas a menos que sejam dadas provas credíveis.
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.
Actually, these examples are metatheorems of our theory of mathematical logic since we are dealing with the very concept of proof itself.	atualmente, estes exemplos são meta teoremas da nossa teoria da lógica matemática desde que estejamos relacionados com o mais conceitos de auto prova.
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.
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 .
A formal definition of computation and computability, and proof that there are computationally unsolvable and intractable problems.	Esta ciência foi responsável pela definição formal de computação e computabilidade, e pela prova da existência de problemas insolúveis ou intratáveis computacionalmente.
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.
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.
Category theory There are several results in category theory which invoke the axiom of choice for their proof.	Teoria da categoria Existem vários resultados na teoria da categoria que invocam o Axioma da Escolha para sua prova.
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.
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).
And we've done, in the past four years, a proof of concept on a small part of the rodent brain, and with this proof of concept we are now scaling the project up to reach the human brain.	E, nos últimos quatro anos, nós fizemos uma prova de conceito, numa pequena parte de um cérebro de roedor, e com esta prova de conceito, estamos agora aumentando a escala do projeto para chegar ao cérebro humano.
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.

Display this page in English