Translation of "prova de explosão" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| 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)))). |
| A explosão | The Blast |
| 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 . |
| Ouvi uma explosão. | I heard an explosion. |
| Houve uma explosão. | There was an explosion. |
| Teve uma explosão. | There was an explosion. |
| A ferramenta de explosão em acção | The blow up tool in action |
| 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. |
| Eu causei uma explosão. | I had an explosion. |
| Eu ouvi uma explosão. | I heard an explosion. |
| Foi uma enorme explosão. | It was a huge explosion. |
| A explosão destruiu tudo. | The blast destroyed everything. |
| Isso pareceu uma explosão. | That sounded like an explosion. |
| Aquilo parecia uma explosão. | That sounded like an explosion. |
| Tom morreu na explosão. | Tom died in the explosion. |
| A explosão seria inevitável. | burn of the DPS. |
| Um grupo de pessoas morreu na explosão. | A bunch of people died in the explosion. |
| 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 |
| Janela da Foto em Explosão | Blowup Photograph Dialog |
| A explosão populacional não parava. | The population explosion was unstoppable. |
| Ele ficou alarmado pela explosão. | He was alarmed by the explosion. |
| Uma explosão dilacerou a casa. | An explosion blew the house apart. |
| Tom foi morto na explosão. | Tom was killed in the explosion. |
| Esta explosão é denominada nova. | Such an explosion is termed a nova. |
| A embarcação de suporte Lowland Cavalier reportou a explosão inicial antes das 22h00, e a segunda explosão 22 minutos depois. | The nearby diving support vessel Lowland Cavalier reported the initial explosion just before 22 00, and the second explosion occurred twenty two minutes later. |
| Amanhã tem prova de matemática. | There's a math test tomorrow. |
| Anders Ynnerman Visualizando a explosão de dados médicos | Anders Ynnerman Visualizing the medical data explosion |
| O trabalhador morreu por causa de uma explosão. | The workman died from the explosion. |
| 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. |
| 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. |
| Configuração Avançada da Foto em Explosão | Photograph Blowup Advanced Settings |
| A explosão foi produzida por acidente. | The explosion came about by accident. |
| Qual foi a causa da explosão? | What was the cause of the explosion? |
| A imensa explosão matou seis pessoas. | The huge explosion killed six people. |
| É a explosão de dados médicos que temos agora. | It's the medical data explosion that we're having right now. |
| A explosão foi causada por um acidente de carro. | The explosion was cause by a car accident. |
| 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. |
Pesquisas relacionadas : Prova Não-explosão - A Prova De Explosão - Equipamentos à Prova De Explosão - Tipo à Prova De Explosão - Invólucro à Prova De Explosão - Certificado à Prova De Explosão - Motor à Prova De Explosão - Design à Prova De Explosão - Componentes à Prova De Explosão - Interruptor à Prova De Explosão - Fãs à Prova De Explosão - Explosão
