- extensional function
- мат. экстенсиональная функция
Большой англо-русский и русско-английский словарь. 2001.
extensional function
Смотреть что такое "extensional function" в других словарях:
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
solids, mechanics of — ▪ physics Introduction science concerned with the stressing (stress), deformation (deformation and flow), and failure of solid materials and structures. What, then, is a solid? Any material, fluid or solid, can support normal forces.… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
metamorphic rock — Any of a class of rocks that result from the alteration of preexisting rocks in response to changing geological conditions, including variations in temperature, pressure, and mechanical stress. The preexisting rocks may be igneous, sedimentary,… … Universalium
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Lamb waves — propagate in solid plates. They are elastic waves whose particle motion lies in the plane defined by the plate normal and the direction of wave propagation. In 1917, the English mathematician Horace Lamb published his classic analysis and… … Wikipedia
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
