Translation of "condição à prova de falhas" to English language:

  Dictionary Portuguese-English

Condição - tradução :
Condition

Prova - tradução :
Proof

Keywords : Condition Status Physical Medical Flaws Failures Faults Gaps Flawless Proves Proof Bulletproof Prove Test

  Examples (External sources, not reviewed)

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 )).
Além disso, a prova padrão do segundo teorema da incompletude assume que ProvA( P ) satisfaz a condição de demonstrabilidade de Hilbert Bernays.
In addition, the standard proof of the second incompleteness theorem assumes that ProvA( P ) satisfies the Hilbert Bernays provability conditions.
Eles são à prova de retaliação.
And they're retaliation proof.
e isso é à prova de clima,
And this is climate proof.
Esta janela é à prova de bala.
This window is bulletproof.
É Tempo de Pôr à Prova o Irão
Time to Test Iran
O carro presidencial é à prova de bala.
The president's car is bulletproof.
Este relógio é à prova d'água.
This watch is waterproof.
Minha câmera é à prova d'água.
My camera is waterproof.
Não ponha à prova minha tolerância.
Don't test my tolerance.
O meu relógio é à prova d'água.
My watch is waterproof.
Este é um relógio à prova d'água.
This is a waterproof clock.
Extinto ao se elevar o Brasil à condição de Reino.
The heirs of the Dukes of Rohan used the style of Prince of Léon.
O policial estava usando um colete à prova de balas.
The police officer wore a bulletproof vest.
Assim os pusemos à prova, por sua transgressão.
We tried them in this way, for they were disobedient.
Eu vou pôr essa máquina à prova hoje.
I am going to put this machine to the test today.
O arraial foi elevado à condição de freguesia em 14 de julho de 1832, elevada à condição de Vila, em 16 de março de 1839 pela lei provincial nº 134.
The village was raised to the title of parish on July 14, 1832, and then raised to a town, on March 16, 1839 by the provincial law nº 134.
Está sendo observada e medida. É informação à prova de balas.
It's been observed, it's measured, it's bomb proof information.
Tom vestiu um colete à prova de balas, só por segurança.
Tom put on a bullet proof vest, just to be safe.
O Tom não está usando um colete à prova de balas.
Tom isn't wearing a bulletproof vest.
As frases não traduzidas põem à prova o propósito de Tatoeba.
Sentences that are not translated defy the purpose of Tatoeba.
Não é possível estabelecer a ligação à base de dados de falhas, por favor verifique a sua ligação à Internet.
Cannot connect to crash database, please check your Internet connection.
Falhas mecânicas correspondem por 60 das falhas dos Discos Rígidos.
As a result, S.M.A.R.T.
Relógios que são resistentes à água a 30 metros são à prova de espirros de água.
The material of the case must also be tested in order to pass as water resistant.
Nós três fomos à prova juntos, e nos sentamos.
The three of us go to the exam together, and we sit down.
Até mesmo o seu currículo foi posto à prova.
Even its curriculum was challenged.
Onde tudo era exposto em compartimentos à prova de insetos mal identificados.
Where everything was displayed in poorly labeled roach proof bins.
Alguns materiais exóticos à prova de sabre foram introduzidas no Universo Expandido.
Some exotic saber proof materials have been introduced in the Expanded Universe.
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 )).
Ele eleva à condição de religião a filosofia de nunca desperdiçar um centavo.
He makes a religion of never wasting a penny.
Falhas de mercado são muitas vezes pequenas, e falhas de governo são, por vezes de grandes dimensões.
Market failures are often small, and government failures are sometimes large.
À distância, parece ameaçadora, com o coldre e o colete à prova de balas claramente visíveis.
In the distance, it looks threatening, with the case and chest guard clearly visible.
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)))).
Não encontrei falhas.
I found no flaw.
Ascendeu à condição de território da união em 1956 e de estado em 1972.
It was made a Union Territory in 1956 and a fully fledged State in 1972.
Incidentes, falhas, e reveses O programa espacial soviético passou por um número de acidentes fatais e falhas.
Incidents, failures, and setbacks The Soviet space program has experienced a number of fatal incidents and failures.
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 .
É hora de parar de construir shopping centers, prisões, estádios e outras referências à todas as nossas falhas coletivas.
It's time to stop building the shopping malls, the prisons, the stadiums and other tributes to all of our collective failures.
O diamante de Emma também tem falhas.
Emma uses a wheelchair in this reality as well.
Ela teve permissão de ir à discoteca, com a condição de estar de volta às dez.
She was allowed to go to the disco on condition that she was back by ten.
Se você tem casas à prova de mosquitos, quando as pessoas ficam doentes, elas ficam deitadas na cama ou em hospitais à prova de mosquitos, elas ficam na cama, e os mosquitos não picam elas.
If you mosquito proof houses, when people get sick, they're sitting in bed or in mosquito proof hospitals, they're sitting in a hospital bed and the mosquitoes can't get to them.
Em 1395, um desses imperadores, Wenceslas (1378 1400), elevou os milaneses à condição de ducado.
In 1395, one of these emperors, Wenceslas (1378 1400), raised the Milanese to the dignity of a duchy.
Você prova um, você prova o outro.
You prove one, you prove the other.
No caso da malária, o que nós deveríamos fazer são casas à prova de mosquitos.
In the case of malaria, what we'd like to do is mosquito proof houses.

 

Pesquisas relacionadas : Medida à Prova De Falhas - Interruptor à Prova De Falhas - Circuito à Prova De Falhas - Prova De Falhas - Padrões De Carga à Prova De Falhas - à Prova De - é à Prova - Vedação à Prova - I à Prova - Ser à Prova - Não à Prova - Bem à Prova - Papel à Prova - Tem à Prova
Exibir esta página em português Exibir esta página em português