Tradução de "fornecer uma prova" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| 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. |
| Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal. | A formal proof is a complete rendition of a mathematical proof within a formal system. |
| Isto é uma prova. | This is a test. |
| 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. |
| 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. |
| Tivemos uma prova de inglês ontem. | We had an examination in English yesterday. |
| 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 . |
| Eu queria que não tivesse uma prova. | I wish there were no examination. |
| Só resta uma semana antes da prova. | There is only a week left before the examination. |
| Eu tenho de fazer uma prova amanhã. | I have to take a test tomorrow. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Tenho que fazer uma revisão para uma prova de biologia. | I have to revise for a biology test. |
| Tenho de estudar para uma prova de biologia. | I have to study for a biology test. |
| 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. |
| Imaginem uma estudante fazendo uma prova gigante por três dias completos. | Imagine a student taking a giant test for three full days. |
| Esta é uma intalação a prova de ataque nuclear. | This is a nuclear proof facility. |
| Eu tenho de estudar para uma prova de biologia. | I have to study for a biology test. |
| Eu tenho uma prova de voz (ou capacidade) hoje. | I have an audition today. |
| 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). | Many bloggers posted photos of their index fingers stained with red electoral ink, proof of their having voted (and proof against multiple voting). |
| Prova Suave | Soft Proofing |
| Tom está fazendo uma revisão para sua prova de amanhã. | Tom is revising for his exam of tomorrow. |
| Fornecer uma educação decente aos filhos requer luta e sacrifício. | Providing a decent education to one s children requires struggle and sacrifice. |
| 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. |
| 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. |
| Ninguém havia feito isto sem uma gaiola a prova de tubarões. | No one's ever done it without a shark cage. |
| O Tom tirou uma nota muito alta na prova de hoje. | Tom got a very high score on today's test. |
| A recuperação completa de uma prova pode levar até três meses. | Full recovery is reached within three months or less. |
| Consistência uma prova que nenhuma contradição pode ser obtida no formalismo. | Consistency a proof that no contradiction can be obtained in the formalism of mathematics. |
| Uma prova que é substancialmente similar foi publicada por Martin Kutz. | A substantially similar proof was published by Martin Kutz in 2005. |
| Uma prova deste resultado pode ser encontrada no texto de Lang. | A proof of this result can be found in Lang's text. |
| 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! |
| Tom passou na prova. | Tom passed the test. |
| Isto cairá na prova. | This will be on the test. |
Pesquisas relacionadas : Fornecer Prova - Fornecer Prova Para - Fornecer A Prova - Deverá Fornecer Prova - Fornecer Prova Escrita - Mais Uma Prova - Mais Uma Prova - Obter Uma Prova - Para Uma Prova - Fazer Uma Prova - Uma Prova Para - Dar Uma Prova - Uma Prova Impressionante - Fazer Uma Prova
