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.	The prevailing opinion at the time was that one should first write a program and then provide a mathematical proof of correctness.
T prova 1. isto é, T prova que se T prova P , então T prova ProvA( ( P )).	T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )).
Em outras palavras, T prova que ProvA( ( P )) implica em ProvA( (ProvA( ( P )))).	In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))).
À parte de fornecer informação sobre as fontes de radiação, a polarização também prova o campo magnética inter estelar pela rotação de Faraday.	Apart from providing information on sources of radiation and scattering, polarization also probes the interstellar magnetic field via Faraday rotation.
Tom estudou muito para a prova.	Tom studied hard for the test.
Em outras palavras, T prova que ProvA( ( P Q )) e ProvA( ( P )) implica em ProvA( ( Q )).	In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )).
T prova que se T prova que ( P Q ) e T prova P então T prova Q .	T proves that if T proves that ( P Q ) and T proves P then T proves Q .
Que tipo de prova temos para isso?	What kind of evidence do we have for that?
Tenho de me preparar para a prova.	I've got to prepare for the test.
Estavam se preparando para a prova escrita.	They were girding for the exam.
Quem vai fornecer capital para o empreendimento?	Who will provide capital for the venture?
Você prova um, você prova o outro.	You prove one, you prove the other.
Aqui está a prova econômica para a sustentabilidade.	Here is the business case for sustainability.
A prova fica como exercício para o leitor.	The proof is left to the reader.
Tenho de estudar para uma prova de biologia.	I have to study for a biology test.
Nós temos de estudar para a nossa prova.	We have to study for our exam.
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.	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.
Eu deveria estar estudando para a prova de amanhã.	I should be studying for tomorrow's exam.
Eu tenho de estudar para uma prova de biologia.	I have to study for a biology test.
Prova Suave	Soft Proofing
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.	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.
Eu tenho que me preparar para a prova de inglês.	I have to prepare for the English test.
Tenho que fazer uma revisão para uma prova de biologia.	I have to revise for a biology test.
Tom está fazendo uma revisão para sua prova de amanhã.	Tom is revising for his exam of tomorrow.
Prova por contradição é usada na matemática para construir provas.	Proof by contradiction is used in mathematics to construct proofs.
O que seria suficiente para fornecer energia para toda a África subsariana.	This would provide sufficient power for all of sub Saharan Africa's electricity needs.
Leonardo é um módulo de depósito para fornecer espaço para pesquisa adicional.	Spacelab would provide a multidisciplinary orbital space laboratory and additional space equipment for the Shuttle.
com êxito por um BCN . Para requerer esta autorização , as insti tuições de crédito devem fornecer ao BCN do respectivo Estado Membro prova da localização remota e do volume reduzido de transacções em numerário do balcão em questão .	This Decision shall not apply to the authenticity and fitness checking of euro banknotes carried out by NCBs . of their Member State with evidence of the remoteness of the branch in question and the low level of its cash operations .
George Tilyou projetou o parque para fornecer atrações e entretenimento.	George Tilyou designed the park to provide thrills and entertainment.
Prova essa camisa.	Try on that shirt.
Teremos prova hoje.	We're going to have a test today.
Eu tenho prova.	I have proof.
Passei na prova.	I passed the exam.
Passei na prova!	I passed the exam.
Portanto, uma prova de que formula_13 também prova que formula_4 é verdade.	Therefore, a proof that formula_13 also proves that formula_4 is true.
O estudo da prova matemática é particularmente importante na lógica, e tem aplicações para prova automática de teoremas e verificação formal de software.	The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software.
A posição da medalha de ouro para esta prova está vaga.	The gold medal position for this event is now vacant.
Porquê fornecer aos economistas mais factos para provar a questão principal?	Why provide economists with more facts to prove the point?
Os tradutores também podem ser usados para fornecer serviços ao utilizador.	Translators can also be used to provide services to the user.
Tem uma central hidroeléctrica e é usado para fornecer água potável.	The river's water is widely used for water supply.
Tenho isto como prova.	I keep that for evidence.
Como foi a prova?	How did the exam go?
A prova é trivial.	The proof is trivial.
Eu tenho prova amanhã.	I have a test tomorrow.
Boa sorte na prova!	Good luck on the test!

Pesquisas relacionadas : Fornecer Prova - Fornecer Uma Prova - Fornecer A Prova - Deverá Fornecer Prova - Fornecer Prova Escrita - Prova Para - Para Fornecer - Fornecer Para - Prova Para Baixo - Dar Prova Para - Para Sua Prova - Para Uma Prova - Como Prova Para - Uma Prova Para

Exibir esta página em português