Translation of "exatidão ou completude" to English language:


  Dictionary Portuguese-English

Completude - tradução : Exatidão - tradução : Exatidão - tradução :

  Examples (External sources, not reviewed)

Completude Ligações externas
Dedekind had three older siblings.
O teorema da completude de Godel estabiliza a completude de um certo comumente usado tipo de sistema dedutivo.
Gödel's completeness theorem establishes the completeness of a certain commonly used type of deductive system.
Não vamos confundir precisão com exatidão.
Let's not mistake precision for accuracy.
Existe dessa forma, de um lado, a noção da completude de um sistema dedutivo e do outro temos a completude dos conjuntos de axiomas não lógicos.
There is thus, on the one hand, the notion of completeness of a deductive system and on the other hand that of completeness of a set of non logical axioms .
Ela é esta arma de devastadora exatidão e precisão.
It is this weapon of devastating accuracy and precision.
Não lembro com exatidão a cara de meu pai.
I don't remember my father's face accurately.
Não se sabe com exatidão os elementos envolvidos e sua composição, mas acredita se que sejam fósforo, enxofre ou hidrocarbonetos.
The exact makeup remains uncertain, but the substances are believed to be phosphorus, sulfur or possibly hydrocarbons.
Os estudiosos modernos tendem a descrer da exatidão dos historiadores romanos.
Modern scholars tend to challenge the accuracy of Roman historians.
Dependendo do modelo de negócio, os corretores podem tentar maximizar o look up dos pedidos, o número de anúncios ou exatidão dos anúncios.
Depending on the business model, brokers can attempt to maximize look up requests, number of listings or accuracy of the listings.
Semelhantemente, pouco se sabe com exatidão sobre o habitat e o comportamento.
Similarly, little is known with certainty about its habitat and behaviour.
Existe algo muito interessante sobre a exatidão da ciência que eu realmente gosto.
There's something very appealing about the exactitude of science that I really enjoy.
A primeira amostra de sua exatidão é descrita em Um Estudo em Vermelho .
The detective is similarly described by Stamford in A Study in Scarlet .
Completude uma prova de que todos os enunciados matemáticos verdadeiros podem ser provados no formalismo.
Completeness a proof that all true mathematical statements can be proved in the formalism.
É o tipo de exatidão que eu queria repliquei cada osso e coloquei em seu lugar.
This is the kind of accuracy that I wanted, replicated every last bone and put it in.
E tentam apontar com exatidão o que é que os separa de seus vizinhos e amigos infelizes.
And they try to pinpoint what it is that sets them apart from their miserable neighbors and friends.
Diversas questões foram levantadas a respeito da autenticidade e da exatidão dos textos que lhe são atribuídos.
Questions have also been raised as to the authenticity and accuracy of the texts attributed to Gorgias (Consigny 4).
Um relacionamento mais fraco foi demonstrado por Kurt Gödel nas provas do seu teorema da completude e teoremas de incompletude.
A weaker relationship was demonstrated by Kurt Gödel in the proofs of his completeness theorem and incompleteness theorems.
O seu sistema permitiu lhe predizer com bastante exatidão as propriedades de elementos não descobertos até o momento.
From his results, Rutherford developed a model of the atom that was similar to the solar system, known as Rutherford model.
É difícil precisar com exatidão quando a concepção (fertilização) ocorreu porque o processo não pode ser observado in vivo.
If in the blastula the first pore (blastopore) becomes the mouth of the animal, it is a protostome if the first pore becomes the anus then it is a deuterostome.
Não é possível definir com exatidão as fronteiras, porque o nome Westfalen foi aplicado a diferentes entidades na história.
No exact definition of borders can be given, because the name Westphalia was applied to several different entities in history.
No entanto, o diretor de política fiscal do Chartered Institute of Taxation expressaram ceticismo sobre a exatidão dos números.
However, the tax policy director of the Chartered Institute of Taxation expressed skepticism over the accuracy of the figures.
Um exemplo de uma teoria não trivial cuja completude foi provada é a teoria de corpos fechados algebricamente de uma dada característica.
An example of a non trivial theory for which completeness has been proved is the theory of algebraically closed fields of given characteristic.
No entanto, as idades da cratera Silverpit e de outras crateras possivelmente relacionadas têm uma exatidão de alguns milhões de anos.
In particular, the ages of some of the possibly related craters are only known to an accuracy of a few million years.
Antes de partir para o seu ano sabático, publicou um artigo em fevereiro de 1886 resumindo suas pesquisas até aquela data, no qual afirmou que anastomoses ou uniões entre diferente células ganglionares não puderam ser demonstradas com exatidão.
Before leaving for his sabbatical in February 1886 he published a paper summarising his research to date, in which he stated that anastomoses or unions between the different ganglion cells could not be demonstrated with certainty.
E descobri que uma metáfora mais adequada para envelhecimento é uma escadaria a ascensão para o topo do espírito humano, trazendo nos para sabedoria, completude e autenticidade.
And I have come to find that a more appropriate metaphor for aging is a staircase the upward ascension of the human spirit, bringing us into wisdom, wholeness and authenticity.
Um sistema axiomático para o qual todo modelo é isomórfico a outro é chamado de categórico(categorial), e a propriedade de categorialidade garante a completude do sistema.
An axiomatic system for which every model is isomorphic to another is called categorial (sometimes categorical), and the property of categoriality (categoricity) ensures the completeness of a system.
Mesmo o menor indício de cor na parte de baixo de uma nuvem os informava e os ajudava a navegar com a mais precisa exatidão.
Even the slightest hint of color on the underbelly of a cloud would inform them and help them navigate with the keenest accuracy.
Richard Feynman comparou a precisão da teoria quântica previsões experimentais a especificação da largura da América do Norte com a exatidão de um fio de cabelo.
Richard Feynman compared the accuracy of quantum theories experimental predictions to specifying the width of North America to within one hair's breadth of accuracy.
Contra Nestório, que sugeriu que o Filho de Deus estaria meramente conjuminado com o Cristo homem, defendeu que a completude de Deus era parte integral da existência de Cristo.
Against Nestorius, who suggested that Son of God was merely conjoined to the man Christ, Thomas argued that the fullness of God was an integral part of Christ's existence.
A questão não é a exatidão das bombas que você tem, é como você usa as bombas que você tem e, mais importante, se afinal você deve usar bombas.
The issue isn't the accuracy of the bombs you have, it's how you use the bombs you have, and more importantly, whether you ought to use bombs at all.
Pode ser utilizado um filtro em um colorímetro para selecionar a cor da luz na qual o soluto tem absorbância máxima, de modo a maximizar a exatidão do experimento.
http www.fondriest.com pdf thermo_colorimeter_theory.pdf See also Spectronic 20 Spectrophotometer Lovibond Colorimeter
Há apenas uma exceção a essa lei universal e isso é o espírito humano, que pode continuar a evoluir em direção ao topo a escadaria trazendo nos para completude, autenticidade e sabedoria.
There's only one exception to this universal law, and that is the human spirit, which can continue to evolve upwards the staircase bringing us into wholeness, authenticity and wisdom.
Naturalmente, não há nenhuma garantia de que as políticas internas reflitam com exatidão as exigências da sociedade até mesmo as democracias são feitas reféns por interesses especiais, com alguma frequência.
Of course, there is no guarantee that domestic policies accurately reflect societal demands even democracies are frequently taken hostage by special interests.
O trabalho de ambos autores foi muito influenciado por Kurt Gödel e o seu teorema da completude, principalmente pela enumeração de Gödel para fórmulas lógicas a fim de reduzir a lógica a aritmética.
The work of both authors was heavily influenced by Kurt Gödel's earlier work on his incompleteness theorem, especially by the method of assigning numbers (a Gödel numbering) to logical formulas in order to reduce logic to arithmetic.
Exatamente nesse mesmo período em que estivemos usando esses drones com exatidão devastadora, o número de ataques, de ataques suicidas e terroristas, contra as forças americanas no Afeganistão aumentou dez vezes.
In that exact same period that we've been using these drones with devastating accuracy, the number of attacks, of suicide attacks and terrorist attacks, against American forces in Afghanistan has increased tenfold.
Ou com mais exatidão, ativistas próximos à extrema direita que inventaram um dia de ausência da escola, convencidos de que o Estado, fingindo lutar contra a homofobia, queria introduzir a teoria do gênero na escola, sem dizer nada homossexualidade, bissexualidade e transexualidade vão entrar de gaiato em todos os programas escolares.
Or to be more precise, campaigners with far right sympathies who have initiated this School Boycott day. Thet claim that under the cover of addressing homophobia, the state is introducing gender theory at school without our approval the notions of homosexuality, bisexuality and transsexuality are being introduced in school curricula
Uma vez que é difícil identificar com exatidão um cogumelo seguro sem treino e conhecimento apropriados, é frequentemente indicado que se deve assumir que um cogumelo selvagem é venenoso e não consumi lo.
As it is difficult to accurately identify a safe mushroom without proper training and knowledge, it is often advised to assume that a wild mushroom is poisonous and not to consume it.
Ver também Teorema da completude de Gödel Teorema de Löb Trilema de Münchhausen Modelo de aritmética não padrão Argumento do terceiro homem Artigos de Gödel 1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.
See also Gödel's completeness theorem Gödel's speed up theorem Löb's Theorem Minds, Machines and Gödel Münchhausen trilemma Non standard model of arithmetic Provability logic Tarski's undefinability theorem Third Man Argument Notes References Articles by Gödel 1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.
Embora não seja possível provar a corretude para sistemas aos menos tão poderosos quanto a aritmética de Peano (ao menos que tenha se um conjunto computável de axiomas), é possível provar formas de completude para vários sistemas interessantes.
Although it is not possible to prove completeness for systems at least as powerful as Peano arithmetic (at least if they have a computable set of axioms), it is possible to prove forms of completeness for many interesting systems.
O primeiro grande sucesso foi o do próprio Gödel (antes dele ter provado o teorema da incompletude) que provou o teorema da completude para a lógica de primeira ordem, mostrando que qualquer consequência lógica de uma série de axiomas é demonstrável.
The first big success was by Gödel himself (before he proved the incompleteness theorems) who proved the completeness theorem for first order logic, showing that any logical consequence of a series of axioms is provable.
Estas correntes de pensamento passaram a defender a tese de que a arte não era uma ciência, não podia descrever com exatidão a realidade, e por isso não poderia ser um veículo adequado para o conhecimento verdadeiro.
For some scholars, such as Kant, the sciences and the arts could be distinguished by taking science as representing the domain of knowledge and the arts as representing the domain of the freedom of artistic expression.
Nesse estágio, Wentworth, Senhor Adjunto da Irlanda desde 1632, emergiu como o braço direito de Carlos e, junto com Laud, perseguiu a política da Completude que queria fazer a autoridade real central mais eficiente e efetiva aos custos dos interesses anti governo.
By this stage Strafford, Lord Deputy of Ireland since 1632, had emerged as Charles's right hand man and together with Laud, pursued a policy of Thorough that aimed to make central royal authority more efficient and effective at the expense of local or anti government interests.
O rendimento de combustível de algas não foram ainda determinados com exatidão, mas DOE tem relatado como sendo a produção de algas 30 vezes mais rentável em energia por hectare do que as culturas da terra como a soja.
Algae fuel yields have not yet been accurately determined, but DOE is reported as saying that algae yield 30 times more energy per acre than land crops such as soybeans.
Quer dizer, o que aconteceu foi, há dois anos um homem na Bélgica estava dizendo, você sabe, Deus, se eu posso ir no museu de cera Madame Tussauds e ver a réplica de Jerry Hall com exatidão até na cor dos olhos, parecendo tão real como se ela pudesse respirar, Por que eles não podem construir uma perna para uma pessoa que se pareça com uma perna, sabe, ou um braço, ou uma mão?
I mean, what happened was, two years ago this man in Belgium was saying, God, if I can go to Madame Tussauds' wax museum and see Jerry Hall replicated down to the color of her eyes, looking so real as if she breathed, why can't they build a limb for someone that looks like a leg, or an arm, or a hand?
Certificação ISO IEC 27001 geralmente envolve um processo de auditoria em dois estágios Estágios Estágio um é uma análise preliminar, informal do SGSI, na verificação da existência e completude da documentação chave como a política de segurança da informação da organização, Declaração de Aplicabilidade (do inglês Statement of Applicability SoA) e Plano de Tratamento de Risco (PTR).
The ISO IEC 27001 certification, like other ISO management system certifications, usually involves a three stage external audit process defined by the ISO IEC 17021 and ISO IEC 27006 standards Stage 1 is a preliminary, informal review of the ISMS, for example checking the existence and completeness of key documentation such as the organization's information security policy, Statement of Applicability (SoA) and Risk Treatment Plan (RTP).

 

Pesquisas relacionadas : Exatidão Ou Desempenho - Exatidão Ou Confiabilidade - Exatidão Ou Adequação - Completude Cheque - Completude Fim - Completude Geral - Completude Perfil - Completude Funcional - Completude Contexto - Completude Da Documentação - Sensação De Completude