Tradução de "carga de prova" para o idioma inglês:
Dicionário Português-Inglês
Carga - tradução : Carga - tradução : Carga - tradução : Carga - tradução : Carga de prova - 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 : Prova De Carga - Prova De Carga - 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
