Translation of "prova de choque" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Ela morreu de choque. | She died of shock. |
| Risco de choque elétrico. | This may result in electric shock in some cases. |
| 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 )). |
| Choque, horror. | Shock, horror. |
| Que choque! | What a shock! |
| 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)))). |
| E esse é o choque do reconhecimento que vem do choque de re conhecimento. | And that's the shock of recognition at the shock of recognition. |
| 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 )). |
| Estava em choque. | I was in shock, she says. |
| Foi um choque. | It was a shock. |
| 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 . |
| Tropa de choque em posição de ataque. | Tropa de choque em posição de ataque. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Eu fiquei em choque. | I was shocked. |
| Batalhão de Choque na Avenida Rio Branco. | At Avenida Rio Branco, the Choque troop sweep the streets clean. |
| Cuidado risco de choque elétrico. Não abrir. | Caution risk of electric shock. Do not open. |
| 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. |
| Não estamos falando de um choque de civilizações. | We're not talking here about a clash of civilizations. |
| Fiquei em estado de choque, chorando sem parar. | I was in a state of shock, crying nonstop. |
| 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 |
| Amanhã tem prova de matemática. | There's a math test tomorrow. |
| O primeiro choque dói para diabo. | The first shock hurts like hell. |
| Foi um grande choque para mim. | It was a great shock to me. |
| Isso foi um choque e tanto. | It was such a shock. |
| O choque deixou Tom sem palavras. | The shock rendered Tom speechless. |
| Ver também Choque anafiláctico Anti histamínico | Finally, H3 receptor antagonists increase wakefulness. |
| Só que vai ser um grande choque de novo. | Only, I think it's quite a big blow again. |
| A praça foi depois bloqueada pela polícia de choque | The square was soon surrounded by the riot police |
| 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. |
| Na outra condição, lhes dizem que a pessoa na outra sala está dando choque de propósito neles sabe que está dando choque neles. | In the other condition, they're told that the person in the next room is shocking them on purpose knows they're shocking them. |
| 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. |
Pesquisas relacionadas : Tomada à Prova De Choque - Plugue à Prova De Choque - Choque - Choque De - Prova - Prova De - Prova De - De Prova - Choque Séptico - Choque Aleatório
