Tradução de "verificação prova de erros" para o idioma inglês:
Dicionário Português-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. |
| O estudo da prova matemática é particularmente importante na lógica, e tem aplicações para prova automática de teoremas e verificação formal de software. | The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software. |
| Verificação de fugas | Leak check |
| Verificação de Hiperligações | Link Checker |
| Verificação de rubricas | Cross check items data |
| 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)))). |
| Intervalo de verificação minutos | Check interval minutes |
| 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 )). |
| Erros de Pluginviewport | Plugin Errors |
| Erros de Transmissão | Transmission Errors |
| Erros de transmissão | Transmission errors |
| 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 . |
| Verificação n.o | Check No |
| Activar a verificação de chavetas | Enable braces check |
| Git Verificação de diferenças terminada. | Git Diff complete. |
| Subversion Verificação de diferenças terminada. | Subversion Diff complete. |
| LISTA DE VERIFICAÇÃO PARA CANDIDATOS | CHECKLIST FOR APPLICANTS |
| LISTA DE VERIFICAÇÃO PARA CANDIDATOS | Checklist for Applicants |
| A verificação formal de declarações de lógica tem sido necessária para o desenvolvimento de software de sistemas de segurança crítica, e os avanços na prova automática de teoremas tem sido impulsionada para essa necessidade. | Formal verification of statements in logic has been necessary for software development of safety critical systems, and advances in automated theorem proving have been driven by this need. |
| Erros | Errors |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Tratamento de erros 21 . | Error handling 21 . |
| Activar verificação chavetas | Enable braces check |
| Verificação da eligibilidade | Eligibility checks |
| Verificação n.o Relação | Check No Relationship |
| Verificação n.o 13 Rubrica residual ver nota explicativa da verificação n.o 8 . | Check No 13 Residual item See explanatory note to Check No 8 . |
| 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 |
| 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. |
| Erros lógicos | Logical errors |
| Erros humanos | Human errors |
| Erros acontecem. | Mistakes happen. |
| 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. |
| A verificação da autenticidade deve ser realizada por máquinas de verificação de autenticidade testadas com sucesso por um BCN . | 4 The authenticity check shall be carried out by banknote authentication machines successfully tested by an NCB . |
| 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. |
| Assim, pedi uma verificação. | And then I asked for verification. |
| Verificação com uma lupa | Check with a magnifying glass |
Pesquisas relacionadas : Prova De Erros - Prova De Erros - Verificação De Erros - Verificação De Prova - Prova De Verificação - Verificação De Prova - Dispositivo De Prova De Erros - Erros Erros - Erros E Erros - Erros Ou Erros - Erros E Erros - Erros De - Verificação De Verificação - Erros E Erros De Impressão
