Tradução de "verificação de consistência" para o idioma inglês:
Dicionário Português-Inglês
Consistência - tradução : Consistência - tradução : Verificação - tradução :
Exemplos (Fontes externas, não revisadas)
| A ω consistência de uma teoria implica sua consistência, mas consistência não implica em ω consistência. | The ω consistency of a theory implies its consistency, but consistency does not imply ω consistency. |
| Consistência relativa Além de consistência, consistência relativa é também uma característica de um sistema axiomático. | Relative consistency Beyond consistency, relative consistency is also the mark of a worthwhile axiom system. |
| Um dos primeiros modelos de consistência foi a consistência sequencial de Leslie Lamport. | One of the first consistency models was Leslie Lamport's sequential consistency model. |
| Consistência na interface. | Consistency of interface. |
| consistência e comparabilidade . | consistency and comparability . |
| Consistência é a chave | Consistency is key |
| Ele tem certa consistência. | Has a little bit of consistency to it. |
| Verificação de fugas | Leak check |
| Verificação de Hiperligações | Link Checker |
| Verificação de rubricas | Cross check items data |
| consistência ( ou coerência ) e comparabilidade | consistency ( or coherence ) and comparability |
| Intervalo de verificação minutos | Check interval minutes |
| Assim, a prova de consistência de T em T não poderia nos dar nenhuma pista de que T é realmente consistente não há dúvida de que a consistência de T poderia ser resolvida por tal prova de consistência. | Thus a consistency proof of T in T would give us no clue as to whether T really is consistent no doubts about the consistency of T would be resolved by such a consistency proof. |
| Consistência, competência e experiência do consórcio. | Consistence, appropriate experience and competence of the consortium. |
| Verificação n.o | Check No |
| provas de consistência, que são baseados em modelos, e que argumentam a partir da verdade de axiomas a sua consistência, apenas mudam o problema. | proofs of consistency which are based on models, and which argue from the truth of axioms to their consistency, merely shift the problem. |
| 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 |
| consistência, competência e experiência do consórcio. | consistence, appropriate competence and experience of the consortium |
| Implicações para provas de consistência O segundo teorema da incompletude de Gödel também implica que a teoria T 1, satisfazendo a condição técnica mostrada acima, não pode provar a consistência de qualquer teoria T 2 a qual prova a consistência de T 1. | Implications for consistency proofs Gödel's second incompleteness theorem also implies that a theory T 1 satisfying the technical conditions outlined above cannot prove the consistency of any theory T 2 that proves the consistency of T 1. |
| 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 . |
| 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 . |
| Deve haver consistência em todos os relatórios no processo de consolidação . | There shall be consistency across reports in the consolidation process . |
| A existência de um modelo concreto prova a consistência do sistema. | The existence of a concrete model proves the consistency of a system. |
| Consistência hermenêutica refere se à análise de textos para explicação coerente. | Hermeneutic consistency refers to the analysis of texts to achieve a coherent explanation of them. |
| 2) é utilizada para a determinação de limites de consistência dos solos. | Derived limits The values of these limits are used in a number of ways. |
| 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 |
| Processe compilações de mensagens e somas de verificação | Compute message digests and checksums |
| Não existe mais qualquer consistência nos sinais da superfície. | There is no longer any consistency in the surface signals. |
| Verificação com uma lupa ( 1 ) | Check with a magnifying glass ( 1 ) |
Pesquisas relacionadas : Verificação De Consistência Dos Dados - Verificação De Verificação - Para Consistência - Consistência Mundial - Maior Consistência - Consistência Global - Consistência Estilística - Alta Consistência - Melhor Consistência - A Consistência - Consistência Regulamentar
