Tradução de "inductive" para a língua portuguesa:
Exemplos (Fontes externas, não revisadas)
| The Continuum of Inductive Methods . | The Continuum of Inductive Methods . |
| Studies in inductive logic and probability, Vol. | Studies in inductive logic and probability, Vol. |
| Inductive inference This is the recursion theoretic branch of learning theory. | Referência indutiva Esse é o ramo na teórico recursivo da teoria da aprendizagem. |
| W. Stanley Jevons 1880 Elementary Lessons in Logic Deductive and Inductive. | W. Stanley Jevons 1880 Elemetnary Lessons in Logic Deductive and Inductive. |
| William Whewell, in his influential History of the Inductive Sciences of 1837, found Kepler to be the archetype of the inductive scientific genius in his Philosophy of the Inductive Sciences of 1840, Whewell held Kepler up as the embodiment of the most advanced forms of scientific method. | William Whewell no seu livro History of the Inductive Sciences (1837), notou Kepler como o arquétipo do gênio científico indutivo em Philosophy of the Inductive Sciences (1840), Whewell considerou Kepler como a personificação das mais avançadas formas de método científico. |
| Despite its name, mathematical induction is not a form of inductive reasoning. | Apesar do nome, a indução matemática é uma forma de raciocínio dedutivo e é totalmente rigorosa. |
| Electrical circuits in plasmas store inductive (magnetic) energy, and should the circuit be disrupted, for example, by a plasma instability, the inductive energy will be released as plasma heating and acceleration. | Os circuitos elétricos nos plasmas armazenam energia indutiva (magnética) e, no caso de rompimento do circuito, por exemplo por uma instabilidade do plasma, a energia indutiva é liberada como aquecimento e aceleração do plasma. |
| Logic is often divided into three parts inductive reasoning, abductive reasoning, and deductive reasoning. | A lógica é frequentemente dividida em três partes o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo. |
| ) and, logos (the use of reasoning, either inductive or deductive, to construct an argument). | Elocutio (Elocução, correspondente grego da lexis), é a composição linguística do discurso, é a textualização. |
| In particular, the rise of emerging markets has challenged traditional Western deductive and inductive logic. | Em particular, a ascensão dos mercados emergentes tem desafiado a tradicional lógica dedutiva e indutiva ocidental. |
| By inductive reasoning, if we know the cause and effects, we can infer the principles. | Através do raciocínio indutivo, se conhecermos as causas e os efeitos, podemos inferir os princípios. |
| Solomonoff, R.J. (1964) A Formal Theory of Inductive Inference, Information and Control, v. 7, No. | Solomonoff, R.J. (1964) A Formal Theory of Inductive Inference, Information and Control, v. 7, No. |
| Inductive types A system of type theory requires some basic terms and types to operate on. | Note que teoria dos tipos, como descrita daqui para frente, se refere a disciplinas de tipagem estática. |
| Inductive categorical inference Popper held that science could not be grounded on such an inferential basis. | Popper defendeu que a ciência não poderia ser baseada em tal inferência. |
| About 200 years before, Francis Bacon and then, later, Isaac Newton, had proposed an inductive scientific method. | Aproximadamente 200 anos antes, Francis Bacon e, mais tarde, Isaac Newton, tinham proposto o método científico indutivo. |
| Mark Burgin argues that super recursive algorithms such as inductive Turing machines disprove the Church Turing thesis. | Mark Burgin argumenta que algoritmos super recursivos como máquinas de Turing indutivas refutam a tese de Church Turing. |
| This is the procedure of thought from the parts to the whole or else from the apparent to non apparent (inductive reasoning). | No renascimento muitas de suas ideias foram aceitas (por exemplo, Giordano Bruno), e tiveram um papel importante durante o iluminismo. |
| Sir Francis Bacon was critical in the historical development of the scientific method his works established and popularized an inductive methodology for scientific inquiry. | Sir Francis Bacon, crítico do desenvolvimento histórico do método científico, escreveu obras que estabeleceram e popularizaram uma metodologia indutiva para a pesquisa científica. |
| The brain is thus an inductive machine that predicts the future based on finding similarities, at many different levels, between the present and the past. | O cérebro é, portanto, uma máquina indutiva que prediz o futuro tendo como base o acto de encontrar semelhanças, a vários níveis, entre o presente e o passado. |
| While the conclusion of a deductive argument is certain, the truth of the conclusion of an inductive argument is probable , based upon the evidence given. | Na lógica, um raciocínio indutivo é um tipo de raciocínio ou argumento que partindo de premissas particulares obtém uma conclusão universal. |
| Academic study As an academic field, history of science began with the publication of William Whewell's History of the Inductive Sciences (first published in 1837). | Estudo acadêmico Como um campo científico, a história da ciência começou com a publicação de History of the Inductive Sciences de William Whewell (publicado em 1837). |
| They wrote books and articles promoting inductive method in all the sciences that were widely read by natural philosophers, university students and members of the public. | Escreveram livros e artigos promovendo o método indutivo em todas as ciências que eram extensamenete lidos por filósofos naturais, estudantes universitários e pessoas em geral. |
| The axiom of induction asserts that the validity of inferring that P ( n ) holds for any natural number n from the basis and the inductive step. | Provando que o passo da indução está correto, concluímos que P(n) é verdadeiro para qualquer número n natural. |
| His argument relies on a definition of algorithm broader than the ordinary one, so that non computable functions obtained from some inductive Turing machines are called computable. | Seu argumento está numa definição mais ampla de algoritmo do que a usual e que funções não computáveis obtidas de algumas máquinas de turing indutivas são chamadas computáveis. |
| He first described his results at a Conference at Caltech in 1960, and in a report, February 1960, A Preliminary Report on a General Theory of Inductive Inference. | Ele descreveu pela primeira vez os seus resultados em uma conferência em Caltech em 1960, e em um relatório, em fevereiro de 1960, Relatório Preliminar sobre a Teoria Geral da Inferência Indutiva . |
| The second step, known as the inductive step, is to prove that the given statement for any one natural number implies the given statement for the next natural number. | Verificar que certa afirmação vale para um grande número de casos particulares (como se faz nas ciências naturais) não permitirá concluir que esta afirmação é válida. |
| Aristotle's system of logic was responsible for the introduction of hypothetical syllogism, temporal modal logic, and inductive logic, as well as influential terms such as terms, predicables, syllogisms and propositions. | O sistema lógico de Aristóteles foi responsável pela introdução do silogismo hipotético, lógica modal temporal e lógica indutiva. |
| He contented himself with the bare remark that the inductive demonstration of the nature and mode of operation of the laws governing life would henceforth be the great aim of the philosophical naturalist. | Ele se contentou com a mera observação de que a demonstração indutiva da natureza e o modo de operação das leis que governam a vida seria daqui por diante o grande objetivo do naturalista filosófico. |
| Snubber circuits When used with inductive loads such as electric fans, care must be taken to assure that the TRIAC will turn off correctly at the end of each half cycle of the AC power. | Contudo, quando usado com cargas indutivas, como motores elétricos, é necessário que se assegure que o TRIAC seja desligado corretamente, no final de cada semi ciclo de alimentação elétrica. |
| Because of this, use of TRIACs with (for example) heavily inductive motor loads usually requires the use of a snubber circuit around the TRIAC to assure that it will turn off with each half cycle of mains power. | Because of this, use of triacs with (for example) heavily inductive motor loads usually requires the use of a snubber circuit around the triac to assure that it will turn off with each half cycle of mains power. |
| 522 526 Li, M., and Vitanyi, P. An Introduction to Kolmogorov Complexity and its Applications , Springer Verlag, New York, 1997 Solomonoff, R.J. (1960) A Preliminary Report on a General Theory of Inductive Inference , Technical Report ZTB 138, Zator Company, Cambridge, Mass. | 522 526 Li, M., and Vitanyi, P. An Introduction to Kolmogorov Complexity and its Applications , Springer Verlag, New York, 1997 Solomonoff, R.J. (1960) A Preliminary Report on a General Theory of Inductive Inference , Technical Report ZTB 138, Zator Company, Cambridge, Mass. |
| In a third, the dominant effect is the induction from the sp2 hybridised carbons the comparatively more powerful inductive withdrawal of electron density that is provided by the sp2 system compared to an sp3 system allows for great stabilization of the oxyanion. | Numa terceira, o efeito dminante é a indução da carbonos hibridizados sp² a retirada comparativamente mais poderosa da densidade de elétrons é provida pelo sistema sp² comparado a um sistema sp³ permite a grande estabilização do oxiânion. |
| If this were not the case, and the current were to reach steady state immediately, extremely strong inductive electric fields would be generated by the sharp change in the magnetic field this would lead to breakdown of the air in the circuit and electric arcing, probably damaging components (and users). | Se isto não ocorresse, a corrente atingiria seu estado operacional instantâneamente, e campos elétricos extremamente fortes seriam gerados devido à mudança brusca no campo magnético, isto poderia levar à geração de arcos elétricos, possivelmente danificando os componentes ou mesmo os usuários. |
| The following three rules give an inductive definition that can be applied to build all syntactically valid lambda terms a variable, formula_3, is itself a valid lambda term if formula_20 is a lambda term, and formula_3 is a variable, then formula_22 is a lambda term (called a lambda abstraction) if formula_20 and formula_24 are lambda terms, then formula_25 is a lambda term (called an application). | Existem três maneiras de obtê las um termo lambda pode ser uma variável, x se t é um termo lambda, e x é uma variável, então λx.t é um termo lambda (chamado abstração lambda) se t e s são termos lambda, então ts é um termo lambda (chamado aplicação). |
