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


  Dicionário Português-Inglês

Carga - tradução : Carga - tradução : Carga - tradução : Carga - tradução : Prova - tradução :

  Exemplos (Fontes externas, não revisadas)

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)))).
Ressonância com carga A frequência de ressonância com carga deriva da frequência de ressonância natural e do factor de carga.
The driven frequency may be called the undamped resonance frequency or undamped natural frequency and the peak frequency may be called the damped resonance frequency or the damped natural frequency.
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 .
A carga mais familiar é a carga elétrica.
The most familiar charge is electric charge.
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.
A sala de mudança de carga e o compartimento de carga também tiveram que ser limpos.
The Payload Change out Room and the payload bay also had to be cleaned.
Gráfico de carga da bateria
Battery Charge Graph
Indicador de carga do sistema
System Load Indicator
Incluía uma área de carga.
It included an exterior loading dock.
Essa versão tem 16 mais capacidade de carga que seu antecessor, permitindo lhe transportar sete contêineres de carga padrão adicionais, com uma capacidade máxima de carga de 154 toneladas.
The variant has 16 percent more payload capacity than its predecessor, allowing it to carry seven additional standard air cargo containers, with a maximum payload capacity of 154 tons (140 tonnes) of cargo.
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.
Várias empresas operam trens de carga.
Several companies operate freight trains.
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.
O último capacitor no conjunto envia sua carga a um amplificador de carga, que a converte em voltagem.
The last capacitor in the array dumps its charge into a charge amplifier, which converts the charge into a voltage.
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?
Ou vão recusar esse tipo de carga, ou vão misturá la com carga de outro tipo, o que suscita alguns problemas.
These smaller companies either dispose of their cargo or mix it with other cargo, which causes problems.
Carga A JAL Cargo encerrou suas operações com aeronaves de carga dedicadas em outubro de 2010, após mais de 30 anos de serviço.
Cargo JAL Cargo ended dedicated freighter aircraft operations in October 2010 after more than 30 years of service.
Ao dividir a carga de um mol de elétrons pela carga de um único elétron, o valor obtido é o número de Avogadro.
By dividing the charge on a mole of electrons by the charge on a single electron the value of Avogadro's number is obtained.
Meu celular ficou sem carga.
My cell went off.
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.

 

Pesquisas relacionadas : Carga De Prova - Teste De Carga De Prova - Prova - Prova De - Prova De - De Prova - Carga De Carga - Carga De Carga - Padrões De Carga à Prova De Falhas - Carga De Carga Pesada - Carga De - Carga De