Translation of "checagem de Consistência" to English language:
Dictionary Portuguese-English
Checagem de Consistência - tradução : Consistência - tradução : Consistência - 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 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. |
| YR É. Não tenho lista de checagem para isto. | YR Yeah. I have no checklist for that. |
| Seu microfone não estava desligado durante a checagem de som. | Your mic wasn't off during sound check. |
| 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. |
| O Columbia passou apenas 70 dias no Orbiter Processing Facility um tempo recorde de checagem. | Prior to the launch, Columbia had spent only 70 days in the Orbiter Processing Facility a record checkout time. |
| consistência ( ou coerência ) e comparabilidade | consistency ( or coherence ) and comparability |
| 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. |
| O sistema já está em operação nos pontos de checagem das fronteiras entre Hong Kong e Shenzhen. | The system is already in operation at checkpoints on the Hong Kong Shenzhen border. |
| 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, 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. |
| Este entrou em serviço em 1999, e sua última checagem de manutenção foi feita em 5 de julho de 2005. | The aircraft involved entered service in 1999 and had its last maintenance check in France on 5 July 2005. |
| Isto significava que o satélite teria que ser levado de volta à área de checagem, aonde ele foi limpo e verificado. | Consequently, the satellite had to be taken back to its checkout facility, where it was cleaned and rechecked. |
| 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. |
| Morte Em 25 de junho de 2007, a polícia invadiu a casa de Benoit sob checagem de bem estar após diversos compromissos perdidos. | Death On June 25, 2007, police entered Benoit's home on a welfare check after several missed appointments, leading to concerns. |
| Não existe mais qualquer consistência nos sinais da superfície. | There is no longer any consistency in the surface signals. |
| 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 consistência é o último refúgio da pessoa sem imaginação. | Consistency is the last refuge of the unimaginative. |
| Isto acontece porque teorias inconsistentes provam tudo, incluindo sua consistência. | This is because inconsistent theories prove everything, including their consistency. |
| 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. |
| 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. |
| Como o caso de Dmitri Solovivev mostrou , o resultado de checagens socio linguísticas podem variar dependendo do lugar em que a checagem for feita. | As Dmitri Soloviev's case showed, socio linguistic check resutls can vary depending on the place where the check was performed. |
| 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. |
| 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. |
| Consistência uma prova que nenhuma contradição pode ser obtida no formalismo. | Consistency a proof that no contradiction can be obtained in the formalism of mathematics. |
| A consistência do concreto utilizado no projeto foi um ponto essencial. | The consistency of the concrete used in the project was essential. |
| Contudo, ao cortar, eu percebi uma consistência quase normal e macia. | Yet, when it was cut it was soft and almost normal in consistency. |
| Formas negativas de envolvimento Filtragem de conteúdo e checagem por parte do gabinete do procurador russo e da polícia com base na lista de elementos extremistas . | Negative forms of involvement Content filtering and prosecutor's checks on the basis of the list of extremist materials . |
| A integridade dos dados pode ser conferida por um checksum (um campo no cabeçalho de checagem por soma) baseado em complemento de um, de 16 bits. | If the checksum calculation results in the value zero (all 16 bits 0) it should be sent as the one's complement (all 1s). |
| O TDRS 5 após sua ativação, checagem e calibração, oficialmente se tornou o provedor primário de serviços na localização oeste em 7 de Outubro de 1991. | After STS 43, the two satellites in the west became on orbit spares TDRS 5, after activation, checkout and calibration, officially became the primary provider of services in the west location on 7 October 1991. |
| 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. |
| No seu segundo teorema,ele mostrou que tal sistema não poderia provar sua própria consistência, então o sistema certamente não poderia ser usado para provar a consistência de nenhum outro sistema mais complexo. | In his second theorem, he showed that such a system could not prove its own consistency, so it certainly cannot be used to prove the consistency of anything stronger with certainty. |
| Esta consistência contribui para estabilizar as expectativas de inflação e construir a credibilidade do BCE . | Such consistency helps to stabilise inflation expectations and build the credibility of the ECB . |
| Esta prova de consistência deve preferencialmente usar somente o raciocínio finitista sobre objetos matemáticos finitos. | This consistency proof should preferably use only finitistic reasoning about finite mathematical objects. |
| Nesse caso, num ponto de checagem militar, ao deixar as pessoas passarem porque o dispositivo rastreador dizia que elas estavam ok, isso pode custar vidas. | In this case, at trespass points, allowing people to go through because your little tracker device said they were okay, actually cost lives. |
| 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. |
Pesquisas relacionadas : Checagem Zero - Checagem Pessoal - Checagem Rápida - Checagem Final - Checagem De Inventário - Checagem De Sistema - Para Consistência - Consistência Mundial - Maior Consistência - Consistência Global - Consistência Estilística - Alta Consistência
