Tradução de "dispositivo de prova de erros" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| Jack não cometeu erros na prova de matemática. | Jack made no mistakes in the math test. |
| Alexandre comete erros. Isso prova que ele não é um robô. | Alexander makes mistakes. It proves he's not a robot. |
| Erros de Pluginviewport | Plugin Errors |
| Erros de Transmissão | Transmission Errors |
| Erros de transmissão | Transmission errors |
| Configuração de Dispositivo Bluetooth | Bluetooth Device Setup |
| Correcção de erros de reporte | Adjustments of reporting errors |
| Correcção de erros de reporte | Corrections for reporting errors |
| Ajustamentos de erros de reporte | Adjustments of reporting errors |
| Tratamento de erros 21 . | Error handling 21 . |
| Dispositivo Além do modelo de repositório, os dados devem ser armazenados num dispositivo de armazenamento determinado. | Storage media Regardless of the repository model that is used, the data has to be stored on some data storage medium. |
| 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)))). |
| Dispositivo de parar areia, feito de areia. | Sand stopping devices, made from sand. |
| 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. |
| URL para relato de erros | Bug report URL |
| Não gosto de cometer erros. | I do not like to make mistakes. |
| Não gosto de cometer erros. | I don't like to make a mistake. |
| Não gosto de cometer erros. | I don't like to make mistakes. |
| Estamos corrigindo erros de ortografia. | We are correcting spelling mistakes. |
| O dispositivo de som foi desligado. | The sound device was unplugged. |
| Ele é chamado de dispositivo neoalimentador. | It's called a neonurture device. |
| 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. |
| O sistema tem um mecanismo de submissão de novos erros e uma lista de todos os erros conhecidos. | The system features a wizard to submit new bug reports and a list of all known bugs. |
| 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 )). |
| 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 )). |
| Amanhã tem prova de matemática. | There's a math test tomorrow. |
| Mostrar rastreios de erros rastreados e perguntar por confirmação antes de os enviar para a base de dados de erros. | Display retraced stack traces and ask for confirmation before sending them to the crash database. |
| 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 . |
| É uma tragédia de erros políticos. | It is a tragedy of policy errors. |
| Não tenha medo de cometer erros. | Don't be afraid of making mistakes. |
| Este livro está cheio de erros. | This book is full of mistakes. |
| Esse livro é cheio de erros. | This book is full of mistakes. |
| Ele tem medo de cometer erros. | He is afraid of making mistakes. |
| Ela cometeu muitos erros de ortografia. | She made a lot of spelling mistakes. |
| Ele tem medo de cometer erros. | He's afraid of making mistakes. |
| Este livro está cheio de erros. | This book is full of errors. |
| Tom não gosta de cometer erros. | Tom doesn't like to make mistakes. |
| Não tenha medo de cometer erros. | Don't be afraid to make mistakes. |
| Monitoriza o volume do dispositivo de saída | Monitor the output volume |
| É como um dispositivo de achar água. | It's like a water dowsing device. |
| O grande dispositivo de segurança da China. | The Great Firewall of China. |
| O dispositivo de comunicação para a equipe. | The communication device for the team. |
| Erros | Errors |
| É o dispositivo de transformação de Yusaku Mega Silver. | Yusaku Mega Silver's change device. |
Pesquisas relacionadas : Prova De Erros - Prova De Erros - Verificação Prova De Erros - Adulteração Dispositivo Prova - Erros Erros - Erros De - Erros E Erros De Impressão - Erros E Erros - Erros Ou Erros - Erros E Erros - Prova De - Prova De - De Prova - Gerenciamento De Erros
