Tradução de "prova de fogo" para o idioma inglês:


  Dicionário Português-Inglês

Fogo - tradução : Prova - tradução :

  Exemplos (Fontes externas, não revisadas)

Algumas pessoas também colocam documentos importantes, fotos e outras coisas valiosas em cofres à prova de fogo, por precaução.
Some people also put important documents, photos and other valuables in a fireproof safe, just in case.
E o Ritz Carlton Tower está sendo projetado com aço exposto, não é à prova de fogo, parecido com aqueles velhos tanques de gás.
And the Ritz Carlton Tower is being designed with exposed steel, non fire proof, much like those old gas tanks.
E estou gritando, Fogo! Fogo! Fogo! Fogo!
And I'm yelling out, Fire! Fire! Fire! Fire!
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 .
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.
Lá estão eles! Bem ali! Fogo, fogo!
There they are! Right there! Fire, fire!
Não deveríamos combater o fogo com fogo?
Shouldn t we fight fire with fire?
Fazendo ( P ) representar o número dedel 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.
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.
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?
Vamos, fogo!
C'mon, fire!
Fogo! Foge!
Fire! Run!
Abrir fogo!
Open fire!
Mulheres na linha de fogo
Women in the line of fire
Animais têm medo de fogo.
Animals are afraid of fire.
O NIST constatou que a infraestrutura de aço à prova de fogo das Torres Gêmeas foi arrancada pelo impacto inicial dos aviões e que, se isso não tivesse acontecido, as torres provavelmente teriam permanecido de pé.
NIST found that the fireproofing on the Twin Towers' steel infrastructures was blown off by the initial impact of the planes and that, had this not occurred, the towers likely would have remained standing.
Santa Catarina do Fogo é um concelho município de Cabo Verde, na ilha do Fogo.
Santa Catarina do Fogo is a concelho (municipality) of Cape Verde.
Que tipo de prova temos para isso?
What kind of evidence do we have for that?
e isso é à prova de clima,
And this is climate proof.
Artigo 32.o Meios de prova 1 .
Article 32 Evidence 1 .
Fiquei com D na prova de ciências.
I got a D on my science test.
Tenho de me preparar para a prova.
I've got to prepare for the test.

 

Pesquisas relacionadas : A Prova De Fogo - Roupas à Prova De Fogo - Anteparo à Prova De Fogo - Juntas à Prova De Fogo - Porta à Prova De Fogo - Armário à Prova De Fogo - Protecção à Prova De Fogo - Pintura à Prova De Fogo - Seguro à Prova De Fogo - Materiais à Prova De Fogo - Fogo - De Fogo