Tradução de "obter uma prova" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| 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)))). |
| Podemos colocar isso em uma tela sensível ao toque e você pode brincar com ela e obter mais informações sobre a roupa em que está interessado enquanto a prova. | We can put that up on a touch screen and you can play with that, and get more information about the clothing that you're interested in as you're trying it on. |
| 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. |
| Os rumores agravaram se na subsequente prova alemã, em Berlim, quando surgiu um confronto durante um teste de drogas porque havia funcionários que queriam obter uma amostra não selada, devido à falta de recipientes. | Thorpe's difficulties heightened at the subsequent German leg of the tour in Berlin, when a standoff over a drug test arose when officials wanted to take an unsealed sample due to lack of containers. |
| Obter uma dica para a próxima jogada | Get a hint for your next move |
| Tom queria para obter uma van preta. | Tom wanted to get a black van. |
| 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 |
| Obter uma carteira de motorista me deixaria feliz. | Getting a driver's license would make me happy. |
| Tom está fazendo uma revisão para sua prova de amanhã. | Tom is revising for his exam of tomorrow. |
| 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. |
| 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. |
Pesquisas relacionadas : Obter Uma Uma - Mais Uma Prova - Mais Uma Prova - Para Uma Prova - Fazer Uma Prova - Uma Prova Para - Dar Uma Prova - Fornecer Uma Prova - Uma Prova Impressionante - Fazer Uma Prova - Mais Uma Prova - Ter Uma Prova - Entregar Uma Prova - Obter Uma Etiqueta
