Translation of "melhoria da consistência" to English language:


  Dictionary Portuguese-English

Consistência - tradução : Consistência - tradução : Melhoria - tradução : Melhoria - tradução : Melhoria - 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.
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.
Melhoria da gestão universitária nas áreas seguintes Melhoria da gestão do pessoal e da gestão financeira Desenvolvimento dos recursos humanos Melhoria da administração educacional
Improvement of university management in the following areas Improvement of personnel and financial management Human resources development Improvement of educational aciminisfration
Consistência é a chave
Consistency is key
Ele tem certa consistência.
Has a little bit of consistency to it.
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.
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.
Protecção e melhoria da saúde humana
protection and improvement of human health
Melhoria da gestão das relações internacionais.
Improving international relations management.
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
Melhoria da gestão universitária nos domínios seguintes
Improvement of university management in the following areas Human Resources Development Improvement of financial management
Melhoria da acessibilidade das estatísticas da área do euro
Improving the accessibility of euro area statistics
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.
E, finalmente, a melhoria da formação das tripulações.
Finally, there must be improvements in the training of crews.
existências à luz da melhoria das perspectivas económicas .
markets and firms started replenishing their inventories in the light of the improved economic outlook .
Melhoria da capacidade de previsª o de inundaçıes .
Improved flood forecasting .
Para a melhoria da mente e do corpo.
For improvement of mind and body. br Usui Reiki Ryōhō.
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.
( ii ) a melhoria do quadro de supervisão da evolução da competitividade
( ii ) improving the framework for competitiveness surveillance
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.
Melhoria da organização, do controlo da qualidade e da garantia da qualidade na educação
Improvement of education organisation, quality control and quality assurance
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.
e a melhoria da função de gestão de risco operacional .
and enhancing the operational risk management function .
Melhoria da capacidade de previsª o de inundaçıes e secas .
Improved flood and drought forecasting .
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.
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.
Melhoria da administração e da gestão da universidade faculdade com especial incidência em humanos
Improvement of university faculty administration and management with special emphasis on
Melhoria do conhecimento e divulgação da cultura e da história dos povos europeus
improvement of the knowledge and dissemination of the culture and history of the European peoples
principais factores subjacentes à melhoria global da balança corrente da área do euro .
This was one of the main factors behind the overall improvement in the euro area current account balance .
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.

 

Pesquisas relacionadas : Melhoria Da - 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 - Consistência Da Massa - Questão Da Consistência - Melhoria Da Eficiência - Melhoria Da Segurança - Melhoria Da Produtividade