Translation of "prova de vazamento" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Há um vazamento no telhado. | There is a leak in the roof. |
| Há um vazamento no telhado. | There's a leak in the roof. |
| O telhado está com um vazamento. | The roof leaks. |
| Mas, estranhamente, o vazamento parece intencional . | But oddly, the leakage sounds intentional. |
| Limpando o Vazamento de Petróleo em Taiwan, por Munch | Cleaning up Oil Spill in Taiwan by Munch |
| 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)))). |
| Carl Safina os responsáveis e vítimas do vazamento de óleo. | Carl Safina The oil spill's unseen culprits, victims |
| Por que é correto encorajar o vazamento de informações secretas? | Why is it right to encourage leaking of secret information? |
| 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 )). |
| Quer dizer, estas fotografias estas são do vazamento de Santa Bárbara. | I mean, these pictures this is from the Santa Barbara spill. |
| Mas então, claro, houve o vazamento de óleo na Deep Horizon. | But then, of course, there was the Deep Horizon oil spill. |
| 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 . |
| Só adicione mais esse vazamento a todos os outros. | Just add that up, all these leakages. |
| Acho que esse último vazamento de óleo no Golfo é um lembrete. | I think this latest oil spill in the Gulf is a reminder. |
| E eu criei um pequeno vazamento de óleo no Golfo do México. | I created a little oil spill in the Gulf of Mexico. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| 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. |
| Mas acho que precisamos entender onde esse vazamento realmente começou. | But I think we have to understand where this leak really started from. |
| CA Puxa, então o seu vazamento mudou substancialmente o mundo? | CA Wow, so your leak really substantially changed the world? |
| O vazamento de gás hidrogênio no ar externo pode espontaneamente entrar em combustão. | Hydrogen gas leaking into external air may spontaneously ignite. |
| 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. |
| De novo, tudo baseado em vazamentos, 251.000 mensagens da diplomacia dos E.U.A., tomei parte nesta investigação, porque consegui este vazamento de um vazamento de um colaborador do WikiLeaks insatisfeito que acabou indo trabalhar no Guardian. | Again, this is all based around leaks, 251,000 U.S. diplomatic cables, and I was involved in this investigation because I got this leak through a leak from a disgruntled WikiLeaker and ended up going to work at the Guardian. |
| Desde o vazamento de petróleo na Coréia, duas notícias tomaram o foco das atenções. | Since the Taean oil spill in Korea, two stories have been the focus of attention. |
| Os relatórios sugeriam que um vazamento de gás foi a principal causa da explosão. | The reports suggested that the main reason of the explosion was a gas leak. |
| A água de refrigeração foi investigada para ver se houve um vazamento ou contaminação. | The cooling water was investigated to see if there was a leak or contamination. |
| Prova Suave | Soft Proofing |
| Amanhã tem prova de matemática. | There's a math test tomorrow. |
| 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. |
| Um vazamento de gás em Fantasyland causou o fechamento à tarde de Adventureland, Frontierland, e Fantasyland. | A gas leak in Fantasyland caused Adventureland, Frontierland, and Fantasyland to close for the afternoon. |
| Falha do sistema de drenagem lacrimal podem causar olho seco ou vazamento de lágrimas no rosto. | Failure of the nasolacrimal drainage system can cause dry eye or leakage of tears onto the face. |
| Outras ferramentas foram projetadas para trabalharem junto com o GDB, como detectores de vazamento de memória. | Some other debugging tools have been designed to work with GDB, such as memory leak detectors. |
| As pessoas ficaram revoltadas com o vazamento de óleo da BP por uma boa razão. | People got very upset when the BP oil spill happened for very good reason. |
| Então ele necessita de um detector de chama para detectar se um vazamento de hidrogênio está queimando. | The detection of a burning hydrogen leak may require a flame detector such leaks can be very dangerous. |
| 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. |
Pesquisas relacionadas : Teste De Vazamento Prova - Vazamento - De Vazamento - Prova - Prova De - Prova De - De Prova - Vazamento Elétrico - Vazamento Aspersor - Isca Vazamento - Um Vazamento
