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

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.
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.
I could not have asked for a better proof of concept.	Eu não poderia ter pedido uma prova de conceito melhor que essa.
Graphical interface for the Coq proof assistant	Interface Gráfico para o Assistente de testes CoqIDE
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.
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.
This is a nuclear proof facility.	Esta é uma intalação a prova de ataque nuclear.
Proof Let A be infinite RE.	Prova Seja A um RE infinito.
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.
Proof General	Proof General
Bring to us then a clear proof.	Apresentai nos, pois, uma autoridade evidente!
The cut elimination theorem for a calculus says that every proof involving Cut can be transformed (generally, by a constructive method) into a proof without Cut, and hence that Cut is admissible.	O teorema de corte de eliminação para um cálculo diz que toda prova envolvendo corte pode ser transformado (em geral, através de um método construtivo) em uma prova sem corte, e, portanto o corte é admissível.
Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group.	A topologia algébrica, por exemplo, permite uma demonstração conveniente de que qualquer subgrupo de um grupo livre é também um grupo livre.
If a proof for that goal can be found, the original goal (i.e., codice_35) fails.	Caso não consiga, ele retorna ao ponto onde encontrou a solução para o primeiro objetivo ( backtracking ).
Cf Chapter The Spirit of Truth for a history leading to, and a discussion of, his proof.	(surveys known results about small universal Turing machines) Ligações externas
Cf Chapter The Spirit of Truth for a history leading to, and a discussion of, his proof.	Cf Chapter The Spirit of Truth for a history leading to, and a discussion of, his proof.
CoqIDE Proof Assistant	Assistente de testes CoqIDE
I have proof.	Eu tenho prova.
I've got proof.	Tenho as provas.
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.
Where's the proof that he committed a crime?	Onde está a prova de que ele cometeu um crime?
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.
Gordon claimed La Toya had proof which she was prepared to disclose for a fee of 500,000.	Gordon afirmou que La Toya tinha provas e que ela estava disposta a revelar em troca de dinheiro.
Mathematical induction is a method of mathematical proof typically used to establish a given statement for all natural numbers.	Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições.
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.
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.
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.
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.
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.
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).
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.

Display this page in English