Reduct

Reduct
Reduct \Re*duct"\ (r[-e]*d[u^]kt"), v. t. [L. reductus, p. p. of reducere. See {Reduce}.] To reduce. [Obs.] --W. Warde. [1913 Webster]

The Collaborative International Dictionary of English. 2000.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Reduct — In universal algebra and in model theory, a reduct of an algebraic structure is obtained by omitting some of the operations and relations of that structure. The converse of reduct is expansion. DefinitionLet A be an algebraic structure (in the… …   Wikipedia

  • reduct — rə̇ˈdəkt transitive verb ( ed/ ing/ s) Etymology: Latin reductus, past participle of reducere more at reduce 1. : reduce 2. dialect : deduct …   Useful english dictionary

  • reduct — /ri dukt /, v.t. to reduce. [ < L reductus, ptp. of reducere; see REDUCE] * * * …   Universalium

  • reduct — 1. noun A reducing agent. 2. verb a) To duct tape again. b) To channel through a duct again …   Wiktionary

  • reduct — re·duct …   English syllables

  • gol-1, lengthened grade gōl-, reduct.st. gol- —     gol 1, lengthened grade gōl , reduct.st. gol     English meaning: to lie; den (of animals)     Deutsche Übersetzung: “liegen; Lager, Tierlager”     Material: Arm. kalaɫ “cave, hiding place, nook, bolt hole or lair of a wild animal”; Gk.… …   Proto-Indo-European etymological dictionary

  • Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… …   Wikipedia

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… …   Wikipedia

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”