deduce inference
Смотреть что такое "deduce inference" в других словарях:
deduce — 01. It is important to learn a process which will help you to [deduce] the meaning of new vocabulary from context. 02. The detectives were able to [deduce] valuable information about the killer through careful examination of the murder scene. 03 … Grammatical examples in English
deduce — Synonyms and related words: analyze, apply reason, arouse, assume, be afraid, believe, bring forth, bring out, bring to light, call forth, call out, call up, cogitate, collect, conceive, conclude, consider, daresay, deduct, deem, derive, divine,… … Moby Thesaurus
Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to … Wikipedia
draw an inference — index construe (comprehend), derive (deduce), gauge, infer, presuppose Burton s Legal Thesaurus. William C. Burton … Law dictionary
Scientific method — … Wikipedia
infer — I (New American Roget s College Thesaurus) v. t. gather, reason, deduce, conclude, opine; presume; construe. See reasoning. II (Roget s IV) v. 1. [To reach a conclusion] Syn. conclude, deduce, gather, judge, come to the conclusion that, draw the… … English dictionary for students
infer — infer, deduce, conclude, judge, gather are comparable when they mean to arrive at by reasoning from evidence or from premises. All except gather are so clearly differentiated in logical use that these distinctions tend to be retained in general… … New Dictionary of Synonyms
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
cosmos — /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… … Universalium
metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… … Universalium
