Translation of "provide a proof" to Portuguese language:

Dictionary English-Portuguese

Proof - translation :

Provide - translation :

Keywords : Prova Viva Provar Provas Existe Providenciar Fornecer Fornecem Proporcionar Sustentar

Examples (External sources, not reviewed)

The prevailing opinion at the time was that one should first write a program and then provide a mathematical proof of correctness.	A opinião prevalecente na época era que deveria se escrever um programa e então fornecer uma prova matemática sobre sua natureza correta.
In Book II he attempts to provide proof that Valentinianism contains no merit in terms of its doctrines.	No segundo livro, ele tenta provar que o valentianismo não tem mérito algum em suas doutrinas.
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.
As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.	Como solução, Hilbert propôs basear todas as teorias existentes para um finito, um conjunto completo de axiomas, e então promover uma prova que esses axiomas eram consistentes.
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.
When asked by a counterparty of the ECB for proof of its authority to carry out operations involving the foreign reserve assets of the ECB as the ECB 's agent , a participating NCB shall provide such counterparty with proof of its mandate of agency .	Quando individualmente solicitados por uma contraparte do BCE a provar os respectivos poderes para a realização de operações envolvendo os activos de reserva do BCE na qualidade de seus mandatários , os BCN participantes devem fornecer lhe prova do respectivo mandato e poderes de representação .
When asked by a counterparty of the ECB for proof of its authority to carry out operations involving the foreign reserve assets of the ECB as the ECB 's agent , a euro area NCB shall provide such counterparty with proof of its mandate of agency .	Quando lhes for solicitada por uma contraparte do BCE a comprovação dos seus poderes para realizar operações envol vendo os activos de reserva do BCE na qualidade de mandatá rios deste , devem os BCN da área do euro fornecer lhe prova do respectivo mandato .
Proof General	Proof General
Bring to us then a clear proof.	Apresentai nos, pois, uma autoridade evidente!
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 .
to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction	na medida em que for aplicável cópia da licença ou outra prova de autorização para a prestação de serviços bancários , de investimento , transferência de fundos ou outros serviços financeiros em jurisdição concedida ao Participante
to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction	to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction
CoqIDE Proof Assistant	Assistente de testes CoqIDE
I have proof.	Eu tenho prova.
I've got proof.	Tenho as provas.
Ibama's (Brazilian Institute of Environment and Natural Renewable Resources) position is that the ministry still has to provide proof of the project's environmental viability.	Para o Ibama (Instituto Brasileiro do Meio Ambiente e dos Recursos Naturais Renováveis), o ministério ainda precisa atender exigências que comprovem a viabilidade ambiental da obra.
( 3 ) to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction	( 3 ) to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction
( 3 ) to the extent applicable a copy of the Participant 's licence or other proof of authorisation to provide banking , investment , funds transfer or other financial services in jurisdiction	na medida em que for aplicável cópia da licença ou outra prova de autorização para a prestação de serviços bancários , de investimento , transferência de fundos ou outros serviços financeiros em jurisdi ção concedida ao Participante
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.
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.
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.
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.

Exibir esta página em português