Tradução de "para ser consistente" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| Você deve ser consistente. | You want it to be consistent. |
| É preciso ser consistente. | It's got to be consistent. |
| Isto é, todo conjunto consisten de sentenças de primeira ordem pode ser estendido para conjunto consistente maximal. | That is, every consistent set of first order sentences can be extended to a maximal consistent set. |
| Toda a informação incluída no processo de consolidação deve ser consistente . | There shall be consistency across reports in the consolidation process . |
| O valor de referência é calculado de forma a ser consistente com e contribuir para a estabilidade de preços . | The reference value is derived in a way that is consistent with and serves the achievement of price stability . |
| Um conjunto de axiomas deve ser consistente, ou seja, deve ser impossível derivar uma contradição de um axioma. | A set of axioms should be consistent it should be impossible to derive a contradiction from the axiom. |
| Qualquer consistente conjunto de unidades pode ser usado, embora unidades do SI são preferidas. | Any consistent set of units may be used, although SI units are preferred. |
| Mas como PA é consistente, o maior subconjunto consistente de PA é PA, então, nesse sentido, PA prova que é consistente . | But since PA is consistent, the largest consistent subset of PA is just PA, so in this sense PA proves that it is consistent . |
| fábricas de notas , contribuindo assim para assegurar uma qualidade consistente . | Throughout the year , production progress was carefully monitored by the ECB in terms of both quantity and quality . During this period , the visual appearance of the banknotes was also regularly sampled . |
| Apenas gato morto ou gato vivo pode ser parte de uma história consistente nessa interpretação. | Only the dead cat or the alive cat can be a part of a consistent history in this interpretation. |
| Você não é consistente. | You are not consistent. |
| O modelo relacional permite ao projetista criar um modelo lógico consistente da informação a ser armazenada. | The relational model of data permits the database designer to create a consistent, logical representation of information. |
| ZF DC AD é consistente dado que um axioma para um cardinal grande forte é consistente (a existência de infinitos deles cardinais de Woodin). | ZF DC AD is consistent provided that a sufficiently strong large cardinal axiom is consistent (the existence of infinitely many Woodin cardinals). |
| Issues Não é todo corpo consistente de proposições que podem ser descritos por uma coleção de axiomas. | Issues Not every consistent body of propositions can be captured by a describable collection of axioms. |
| Em particular, diferentes formalizações da alegação de que T é consistente pode não ser equivalente a T , e algumas podem até ser provadas. | In particular, different formalizations of the claim that T is consistent may be inequivalent in T , and some may even be provable. |
| O valor de referência foi calculado de forma a ser consistente com a concretização da estabilidade de preços . | The reference value has been derived so as to be consistent with the achievement of price stability . |
| Poucos anos depois, Gentzen deu uma prova consistente para a aritmética de Peano. | A few years later, Gentzen gave a consistency proof for Peano arithmetic. |
| Ela é consistente em suas opiniões. | She is consistent in her opinions. |
| O valor de referência foi calculado de forma a ser consistente com a estabilidade de preços e , ao mesmo tempo , contribuir para o alcance da mesma . | The reference value was derived so as to be consistent with and serve the achievement of price stability . |
| Neste escrito ele demonstrou que qualquer sistema matemático axiomático, suficiente para incluir a aritmética dos números naturais, necessariamente 1. não pode ser simultaneamente completo e consistente. | In that article, he proved for any computable axiomatic system that is powerful enough to describe the arithmetic of the natural numbers (e.g. |
| Wise, que sempre considerou a versão teatral como um corte bruto , recebeu a oportunidade de re editar o filme para ser mais consistente com sua visão orignal. | Wise, who had considered the theatrical presentation of the film a rough cut , was given the opportunity to re edit the film to be more consistent with his original vision. |
| Porque, devo dizer, em toda minha carreira, se existe alguma coisa que foi consistente, foi que aquilo não poderia ser feito. | Because I have to say, for my whole career, if there's anything that's been consistent, it's been that you can't do it. |
| Arranjo espacial O número, forma e arranjos específicos dos dentes em cada fileira transversal é consistente numa rádula, e os diferentes padrões poderão ser utilizados para diagnosticar diferentes espécies. | Radula formulae The number, shape, and specialized arrangement of teeth in each transverse row is consistent on a radula, and the different patterns can be used as a diagnostic characteristic to identify the species in many cases. |
| Estas medidas de controlo de risco , que terão de ser aplicadas de forma consistente , trans parente e não discriminatória , podem ser também aplicadas a nível de cada contraparte , caso seja necessário para assegurar a referida protecção . | Such risk control measures , which shall be applied in a consistent , transparent and non discriminatory manner , can also be applied at the level of individual counterparties if required to ensure such protection .' |
| Ele também era um proponente consistente do poliamor. | He was also a consistent proponent of polyamory. |
| Nós não temos uma metodologia consistente de testes . | We have no consistent testing. |
| assegura a aplicação consistente das políticas do BCE | ensures consistent implementation of ECB policies |
| Estas medidas de controlo de risco , que terão de ser aplicadas de forma consistente , transparente e não discriminatória , podem ser também aplicadas a nível de cada contraparte , caso seja necessário para assegurar a referida protecção . Caixa 7 | CHAPTER 6 Box 7 Eligible assets |
| Pois a alegação de que T 1 é consistente tem a forma para todo número n , n tem a propriedade de decidibilidade de não ser codificada para a prova de contradição em T 1 . | For the claim that T 1 is consistent has form for all numbers n , n has the decidable property of not being a code for a proof of contradiction in T 1 . |
| Mas mais importante ainda é o facto de serem tomadas medidas com um longo alcance , estando a ser aplicadas de forma consistente . | What is even more important is that far reaching measures are taken and are being implemented in a consistent fashion . |
| O segundo teorema não desconsidera as provas de consistência completamente, apenas prova que podem ser formalizadas na teoria que é provada consistente. | The second incompleteness theorem does not rule out consistency proofs altogether, only consistency proofs that could be formalized in the theory that is proved consistent. |
| axiomas) que relaciona um número de termos primitivos, de maneira que um corpo consistente de proposições pode ser derivado dedutivamente dessas afirmações. | axioms) that relate a number of primitive terms in order that a consistent body of propositions may be derived deductively from these statements. |
| De uma forma geral , a informação disponível continua a ser consistente com o cenário para a evolução dos preços avançado nas projecções dos especialistas do Eurosistema publicadas em Dezembro último . | All in all , the information available remains consistent with the scenario for price developments reflected in the December staff projections . |
| Assim, a suposição de que ZF é consistente (tem qualquer modelo que seja) implica que ZF juntamente com estes dois princípios é consistente. | Thus the assumption that ZF is consistent (has at least one model) implies that ZF together with these two principles is consistent. |
| Mas o acordo é menos consistente do que parece. | But agreement is thinner than it appears. |
| Foi uma temporada consistente e ligeiramente melhor que 2008. | The 2008 season was a mixture of success and disappointment for Williams. |
| Isso tem a ver com um tipo de lógica ampla e consistente, e essa lógica poderia ser entendida quando alguém ocupa o edifício. | It has to do with a broad, consistent logic, and that logic could be understood as one occupies the building. |
| A esperança dos lógicos modernos era que vários ramos da matemática, senão todos, pudessem ser derivados de uma coleção consistente de axiomas básicos. | It was the early hope of modern logicians that various branches of mathematics, perhaps all of mathematics, could be derived from a consistent collection of basic axioms. |
| Para cada teoria formal consistente T que possui uma pequena quantidade necessária da teoria dos números, a sentença de Gödel G correspondente afirma G não pode ser provada dentro da teoria T . | For each consistent formal theory T having the required small amount of number theory, the corresponding Gödel sentence G asserts G cannot be proved within the theory T . |
| Isto significa que se a teoria T é consistente, então G não pode ser provada dentro dela, e assim a teoria T é incompleta. | This means that if the theory T is consistent then G cannot be proved within it, and so the theory T is incomplete. |
| As caixas produzidas aqui são fabricadas com material muito consistente. | The boxes produced here are made of a very consistent material. |
| Por exemplo, ZF DC BP é consistente, se ZF for. | For example, ZF DC BP is consistent, if ZF is. |
| 2.5.2 Aplicação consistente de decisões de política Por forma a assegurar a aplicação consistente das políticas do BCE e a integridade do sistema , o BCE emite orientações e instruções para a execução descentralizada das operações do Eurosistema . | 2.5.2 Consistent implementation of policy decisions To ensure that ECB policies are implemented consistently and the system remains integral , the ECB issues guidelines and instructions for the decentralised execution of Eurosystem operations . |
| O tribunal tem sido consistente ao faltarem apenas alguns julgamentos, não emitiu sentenças por genocídio para além de Srebrenica. | The court has been consistent with just a few trials left, it has issued no convictions for genocide apart from Srebrenica. |
| Existem actualmente esforços entre os investigadores para estabelecer e encorajar o uso de uma nomenclatura unificada e mais consistente. | Efforts among researchers are now underway to establish and encourage usage of a unified and more consistent nomenclature. |
Pesquisas relacionadas : Deve Ser Consistente - Deve Ser Consistente - Abordagem Consistente Para - Para Ser - Crescimento Consistente - Comunicação Consistente - Entrega Consistente - Altamente Consistente - Serviço Consistente - Experiência Consistente - Consistente Em - Operação Consistente - Ficar Consistente
