Tradução de "consistência da mensagem" para o idioma inglês:
Dicionário Português-Inglês
Consistência - tradução : Consistência - tradução : Mensagem - 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. |
| Consistência na interface. | Consistency of interface. |
| consistência e comparabilidade . | consistency and comparability . |
| Não existe mais qualquer consistência nos sinais da superfície. | There is no longer any consistency in the surface signals. |
| 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 é a chave | Consistency is key |
| Ele tem certa consistência. | Has a little bit of consistency to it. |
| Cores da mensagem | Message colors |
| Opções da mensagem | Messages options |
| Secção da mensagem | Part of the message |
| A consistência é o último refúgio da pessoa sem imaginação. | Consistency is the last refuge of the unimaginative. |
| consistência ( ou coerência ) e comparabilidade | consistency ( or coherence ) and comparability |
| 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. |
| Então, qual a mensagem anterior à compreensão da mensagem por si? | So, what is the message sent before somebody actually gets into the material? |
| Secção da mensagem SWIFT | Part of the SWIFT message |
| 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. |
| 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. |
| 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. |
| 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. |
| consistência, competência e experiência do consórcio. | consistence, appropriate competence and experience of the consortium |
| Deixa o corpo da mensagem vazio. | Leave the body of the message empty. |
| Várias versões da mensagem alegada existe. | Various versions of the alleged message exist. |
| 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. |
| Serão verificados os seguintes campos dos tipos de mensagem SWIFT Detalhes Secção da mensagem SWIFT Campo | The following fields of the SWIFT message types shall be checked Details Part of the SWIFT message Field |
| 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. |
| Eu preciso da chave para decifrar esta mensagem. | I need the key to decode this message. |
| 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. |
| No entanto, o segundo teorema da incompletude de Gödel mostra que uma prova finitista da consistência da aritmética é comprovadamente impossível. | However, Gödel's second incompleteness theorem gives a precise sense in which such a finitistic proof of the consistency of arithmetic is provably impossible. |
| Mais valor que a consistência jurídica tem a eficácia moral. | Some protesters dressed this way have vandalized property or committed arson. |
| Isto acontece porque teorias inconsistentes provam tudo, incluindo sua consistência. | This is because inconsistent theories prove everything, including their consistency. |
| Um dos critérios para avaliação de teorias cientifícas que Feyerabend ataca é o da consistência do critério . | One of the criteria for evaluating scientific theories that Feyerabend attacks is the consistency criterion . |
| 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. |
| Mensagem log | Log message |
| Mensagem anterior | Prev mesg |
| Mensagem seguinte | Next mesg |
| Nenhuma Mensagem | No Messages |
| Mensagem seguinte | Next message |
| Mensagem anterior | Previous message |
| Compor Mensagem | Compose Mail |
| A versão arquivada ou impressa da mensagem original do fornecedor do serviço de rede será aceite como meio de prova , independentemente da forma da mensagem original . | The saved or printed version of the original message of the network service provider shall be accepted as a means of evidence , regardless of the form of the original message . |
| 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. |
| Mensagem privada Uma mensagem privada (ou MP) é uma mensagem enviada em privado para um membro (ou mais). | Private message A private message , or PM for short, is a message sent in private from a member to one or more other members. |
| O rótulo da mensagem é posicionado acima dessa seta. | It is a construct of a Message Sequence Chart. |
Pesquisas relacionadas : Consistência Mensagem - Princípio Da Consistência - Aumento Da Consistência - Princípio Da Consistência - Consistência Da Qualidade - Controle Da Consistência - Melhoria Da Consistência - Consistência Da Massa - Questão Da Consistência - Cabeçalho Da Mensagem - Conteúdo Da Mensagem - Mensagem Da Campanha
