Translation of "a consistência da execução" to English language:
Dictionary Portuguese-English
Consistência - tradução : Consistência - tradução : Execução - tradução : Execução - tradução :
Examples (External sources, not reviewed)
| 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 é a chave | Consistency is key |
| 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. |
| A consistência é o último refúgio da pessoa sem imaginação. | Consistency is the last refuge of the unimaginative. |
| 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. |
| Consistência na interface. | Consistency of interface. |
| consistência e comparabilidade . | consistency and comparability . |
| 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. |
| Não existe mais qualquer consistência nos sinais da superfície. | There is no longer any consistency in the surface signals. |
| Ele tem certa consistência. | Has a little bit of consistency to it. |
| Seres humanos têm uma necessidade de manter consistência para a consciência da massa. | Human beings have a need for maintaining consistency of the apperceptive mass. |
| Se existisse tal número, então a teoria seria inconsistente, ao contrário da hipótese da consistência. | So, under the assumption that the theory is consistent, there is no such number. |
| Pausar a execução da aplicação | Pauses the execution of the program |
| Continuar a execução da aplicação | Continue the execution of the program |
| Pausa a execução da aplicação | Pauses the execution of the program |
| A Janela da Primeira Execução | The First Run Dialog |
| consistência ( ou coerência ) e comparabilidade | consistency ( or coherence ) and comparability |
| Mais valor que a consistência jurídica tem a eficácia moral. | Some protesters dressed this way have vandalized property or committed arson. |
| A versão forte do teorema da incompletude, que apenas assume consistência ao invés de ω consistência, é agora comumente conhecida como o teorema da incompletude de Gödel e como o teorema de Gödel Rosser. | The stronger version of the incompleteness theorem that only assumes consistency, rather than ω consistency, is now commonly known as Gödel's incompleteness theorem and as the Gödel Rosser theorem. |
| 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. |
| Estes processos padrões são usados para estabelecer uma consistência dentro da organização. | These standard processes are in place (i.e., they are the AS IS processes) and used to establish consistency of process performance across the organization. |
| 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. |
| Os actos de execução da União assumem a forma de regulamentos europeus de execução ou de decisões europeias de execução. | Union implementing acts shall take the form of European implementing regulations or European implementing decisions. |
| Os actos de execução da União assumem a forma de regulamentos europeus de execução ou de decisões europeias de execução . | Union implementing acts shall take the form of European implementing regulations or European implementing decisions . |
| Um sucesso do programa formalista foi a formalização de Hilbert da Geometria Euclidiana e a demonstração da consistência destes axiomas. | An early success of the formalist program was Hilbert's formalization of Euclidean geometry, and the related demonstration of the consistency of those axioms. |
| Os SP serão notificados da boa execução ou da não execução da liquidação . | The ASs shall be notified on completion or failure of the settlement . |
| Os SP serão notificados da boa execução ou da não execução da liquidação . | ASs shall be notified on completion or failure of the settlement . |
| ... descentralização da execução ,... | decentralisation of implementation , ... |
| Continuar ou suspender a execução da aplicação | Continue or suspend the execution of the program |
| consistência, competência e experiência do consórcio. | consistence, appropriate competence and experience of the consortium |
| A definição e execução da política monetária da União | to define and implement the Union's monetary policy |
| a definiçao e execução da política monetária da Comunidade | to define and implement the monetary policy of the Community |
| a definição e execução da política monetária da Comunidade | to define and implement the monetary policy of the Community |
| Por exemplo, Gerhard Gentzen provou a consistência da aritmética de Peano (PA) em uma teoria diferente que inclui um axioma alegando que o ordinal chamado ε0 é bem fundado veja a prova de consistência de Gentzen. | For example, Gerhard Gentzen proved the consistency of Peano arithmetic (PA) in a different theory that includes an axiom asserting that the ordinal called ε0 is wellfounded see Gentzen's consistency proof. |
| A consistência do concreto utilizado no projeto foi um ponto essencial. | The consistency of the concrete used in the project was essential. |
| Por exemplo, a consistência da aritmética de Peano pode ser provada na teoria dos conjuntos de Zermelo Fraenkel (ZFC), ou nas teorias aritméticas aumentadas com indução transfinita, como na prova de consistência de Gentzen. | For example, the consistency of the Peano arithmetic can be proved in Zermelo Fraenkel set theory (ZFC), or in theories of arithmetic augmented with transfinite induction, as in Gentzen's consistency proof. |
| Execução da política monetária | Monetary policy implementation |
| a a a a definiçào e execução da politica monetária da Comunidade | to define and implement the monetary policy of the Community to |
| Alguns dialeteístas, incluindo Graham Priest, argumentaram que a coerência não exigie consistência. | Some dialetheists, including Graham Priest, have argued that coherence may not require consistency. |
| 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. |
| Por fim, a consistência de toda a matemática poderia ser reduzida a aritmética básica. | Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic. |
| Fase de planeamento da execução | Execution planning |
| Fase de planeamento da execução | Execution planning phase |
Pesquisas relacionadas : A Consistência - A Consistência Da Marca - A Consistência Da Apresentação - A Consistência Da Imagem - Da Execução - Princípio Da Consistência - Aumento Da Consistência - Princípio Da Consistência - Consistência Da Qualidade - Controle Da Consistência - Consistência Da Mensagem - Melhoria Da Consistência - Consistência Da Massa - Questão Da Consistência
