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

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.
Say Bring the proof if you are truthful.	Dize lhes Mostrai vossa prova se estiverdes certos.
Graphical interface for the Coq proof assistant	Interface Gráfico para o Assistente de testes CoqIDE
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.
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.
These (revelations) are an evident proof from your Lord, and a guidance and grace for those who believe.	Este (Alcorão) encerra discernimentos do vosso Senhor e é, por isso, orientação e misericórdia paraos que crêem.
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.
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
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.
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.
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.
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.
It is also common for a theorem to be preceded by a number of propositions or lemmas which are then used in the proof.	Entretanto, tal termo também pode ser usado para afirmações falsas que aparentem ser verdadeiras em um primeiro momento.
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.
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.
We carry in our face the proof that cooking, food transformation, made us what we are.	Nós carregamos em nosso rosto a prova que cozinhar, a transformação dos alimentos, fez com que nos tornássemos o que somos.
This allows for future proof upgrades (since all features are released together), but has the drawback of an extremely large codebase (more than 1,000,000 lines).	Isto permite que novas atualizações sejam bastante seguras (pois todos as atualizações são liberadas juntas), com o inconveniente de ter uma base de linhas de código bastante grande (mais de 1,000,000 linhas).
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.

Display this page in English