Tradução de "prova de verificação" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| 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 )). |
| 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. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| 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 . |
| 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 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 |
| Ver verificação n.o 8 | See Check No 8 |
| Verificação cruzada IFM MPEC | MFI MPEC cross check |
| VERIFICAÇÃO E RECOLHA OBRIGATÓRIA | VERIFICATION AND COMPULSORY COLLECTION |
| Apresentar blocos alcançáveis na verificação de fugas | Show reachable blocks in leak check |
| ANEXO 4 Lista de verificação para candidatos | ANNEX 4 Checklist for applicants |
| Comunicação e verificação da base de incidência | Reporting and verification of the reserve base |
| Verificação com uma lâmpada de luz ultravioleta | Check with an ultraviolet lamp Genuine |
| Apêndice 2 OPERAÇÕES DE VERIFICAÇÃO NOTAS EXPLICATIVAS | Appendix 2 CHECKS EXPLANATORY NOTES |
| Prova Suave | Soft Proofing |
| Amanhã tem prova de matemática. | There's a math test tomorrow. |
| Processe compilações de mensagens e somas de verificação | Compute message digests and checksums |
| 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. |
| Verificação com uma lupa ( 1 ) | Check with a magnifying glass ( 1 ) |
| PT Verificação e recolha obrigatória | EN Verification and compulsory collection |
| Segurança real, verificação de segurança, liberação segura etc. | Real security, security checks, security watch, security clearance. |
| COMUNICAÇÃO , ACEITAÇÃO E VERIFICAÇÃO DA BASE DE INCIDÊNCIA | REPORTING , ACKNOWLEDGEMENT AND VERIFICATION OF THE RESERVE BASE |
| Verificação com uma lâmpada de luz ultravioleta ( 2 ) | Check with an ultraviolet lamp ( 2 ) |
| Comunicação , aceitação e verificação da base de incidência | Reporting , acknowledgement and verification of the reserve base |
Pesquisas relacionadas : Verificação De Prova - Verificação De Prova - Verificação Prova De Erros - Verificação De Verificação - Prova - Prova De - Prova De - De Prova - Verificação - Verificação De Verificação De Fundo - Prova De Página - Cópia De Prova
