formulation+replacement

См. также в других словарях:

• replacement, axiom of — The axiom added to Zermelo s set theory by A. A. Fraenkel (1891–1965), to produce the classical set theory known as ZF. Put in terms of second order logic, the axiom states that any function whose domain is a set has a range which is also a set.… …   Philosophy dictionary

• Hormone replacement therapy (female-to-male) — Hormone replacement therapy (HRT) for transgender and transsexual people replaces the hormones naturally occurring in their bodies with those of the other sex. However, not all cases of hormone replacement therapy are used by transgendered people …   Wikipedia

• Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… …   Wikipedia

• Buprenorphine — Systematic (IUPAC) name (2S) 2 [( ) (5R,6R,7R,14S) 9α cyclopropylmethyl 4,5 epoxy 6,14 ethano 3 hydroxy 6 methoxymorphinan 7 yl] 3,3 dimethylbutan 2 ol Clinical …   Wikipedia

• set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… …   Universalium

• Metered-dose inhaler — ProAir HFA Albuterol Sulfate(US) A metered dose inhaler (MDI) is a device that delivers a specific amount of medication to the airway and lungs, in the form of a short burst of aerosolized medicine that is inhaled by the patient. It is the most… …   Wikipedia

• operations research — the analysis, usually involving mathematical treatment, of a process, problem, or operation to determine its purpose and effectiveness and to gain maximum efficiency. [1940 45, Amer.] * * * Application of scientific methods to management and… …   Universalium

• Werner Heisenberg — Infobox Scientist box width = 300px name = Werner Heisenberg image size = 250px caption = Werner Karl Heisenberg (1901 1976). Photo taken circa 1926. birth date = birth date|1901|12|5|df=y birth place = Würzburg, Germany death date = death date… …   Wikipedia

• Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… …   Wikipedia

• probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… …   Universalium

• Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium