Tradução de "prova de derramamento" para o idioma inglês:
Dicionário Português-Inglês
Derramamento - tradução : Derramamento - tradução : Prova - tradução : Prova de derramamento - tradução :
Exemplos (Fontes externas, não revisadas)
| Derramamento de óleo. | Oil spill. |
| Eles estarão quilômetros de distância do derramamento. | They are miles away from the spill. |
| A polícia queria evitar um derramamento de sangue. | The police wanted to avoid bloodshed. |
| Passei dois anos lá, escrevendo sobre derramamento de petróleo. | I spent two years there writing on oil spills. |
| Foi um golpe ousado, que transcorreu sem derramamento de sangue . | It was a daring coup and passed without bloodshed. |
| 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)))). |
| 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 . |
| Escrevi regulamentos para os Estados Unidos Digo, regulamentos sobre derramamento de petróleo. | I wrote regulations for the United States I mean, I wrote oil spill regulations. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Aqueles que procuram fazer parar o derramamento de sangue não têm boas opções. | Those who would seek to halt the bloodshed have no good options. |
| Ele foi demitido do cargo em retaliação pela conclusão sem derramamento de sangue. | As retaliation for the bloodless conclusion, he was fired from his post. |
| Uma delas expõe o problema do derramamento de esgoto na Praia de São Conrado. | One exposes the problem of sewage spill on São Conrado Beach. |
| 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. |
| Mais longe, na Síria, vive se um clima de derramamento de sangue e de sofrimento. | Farther afield, Syria is experiencing only bloodshed and sorrow. |
| Ainda por sorte, ele parece estar fora do perigo do recente derramamento de óleo. | Luckily still, it seems to be out of harm's way of the recent oil spill. |
| Ela sonhou que ela e milhares de outras mulheres acabaram com o derramamento de sangue. | She dreamt she and thousands of other women ended the bloodshed. |
| Um ano antes deste derramamento de petróleo, um estudante de 17 anos inventou um detergente. | About a year prior to this oil spill, a 17 year old student had invented a degreaser. |
| Temos de ter esperança que eles conseguem fazer isso sem haver mais derramamento de sangue. | We must hope that they can do this without further bloodshed. |
| Fazendo ( P ) representar o número de Gödel da fórmula P , a condição de derivabilidade diz Se T prova P , então T prova ProvA( ( P )). | Letting ( P ) represent the Gödel number of a formula P , the derivability conditions say If T proves P , then T proves ProvA( ( P )). |
| 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. |
| Prova Suave | Soft Proofing |
| O derramamento de óleo é um assunto majoritariamente branco, e, churrasco, um assunto majoritariamente negro. | It turns out that oil spill is a mostly white conversation, that cookout is a mostly black conversation. |
| Amanhã tem prova de matemática. | There's a math test tomorrow. |
| A tentativa de golpe de Kornilov foi frustrada sem derramamento de sangue, pois seus cossacos o desertaram. | During and after the defeat of Kornilov, a mass turn of the soviets toward the Bolsheviks began, both in the central and local areas. |
| 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. |
| Derramamento de óleo provocado pela empresa Chevron na Bacia de Campos, no dia 18 de novembro de 2011. | Chevron's oil spill in Bacia de Campos, November 18, 2011. |
| A prova se chama Gaokao. E 80 milhões de estudantes Chineses já fizeram esta prova torturante. | It's called the Gaokao, and 80 million high school Chinese students have already taken this grueling test. |
| 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. |
| Precisamos de ciência adequada, prova adequada. | Next, we need proper science, proper evidence. |
| Eles são à prova de retaliação. | And they're retaliation proof. |
| Isenção de prova alimenta a polêmica | Bootlegging doctors? |
| Tivemos uma prova de inglês ontem. | We had an examination in English yesterday. |
| Como foi a prova de matemática? | How was the math test? |
| Como foi a prova de hoje? | How was today's test? |
| Tom colou na prova de geologia. | Tom cheated on the geology exam. |
| Tirei D na prova de ciências. | I got a D on my science test. |
| Tom colou na prova de história. | Tom cheated on the history exam. |
| A prova de química foi fácil. | The chemistry exam was a doddle. |
| Como foi sua prova de biologia? | How was your biology exam? |
Pesquisas relacionadas : Derramamento Ambiental - Proteção Derramamento - Um Derramamento - Derramamento Evitar - Recipiente Derramamento - Grande Derramamento - Livre Derramamento - Café Derramamento - Nenhum Derramamento - Pallet Derramamento - Derramamento Evitar - Grande Derramamento
