- substitutional value
- мат. подставляемое значение
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Truth-value semantics — In formal semantics, truth value semantics is an alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and M. Dunn and N. Belnap. It is also called the substitution interpretation (of the… … Wikipedia
Material properties of diamond — This article addresses the material properties of diamond. For a broader discussion of diamonds, see diamond. For other uses of the word diamond, see diamond (disambiguation). Diamond An octahedral diamond crystal in matrix Gener … Wikipedia
crystal — crystallike, adj. /kris tl/, n., adj., v., crystaled, crystaling or (esp. Brit.) crystalled, crystalling. n. 1. a clear, transparent mineral or glass resembling ice. 2. the transparent form of crystallized quartz. 3. Chem., Mineral. a solid body… … Universalium
Crystal — /kris tl/, n. 1. a city in SE Minnesota, near Minneapolis. 25,543. 2. a female given name. * * * I Any solid material whose atoms are arranged in a definite pattern and whose surface regularity reflects its internal symmetry. Each of a crystal s… … Universalium
Nitrogen-vacancy center — The nitrogen vacancy center (N V center) is one of numerous point defects in diamond. Its most explored and useful property is photoluminescence, which can be easily detected from an individual N V center. Electron spins at N V centers, localized … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
metallurgy — metallurgic, metallurgical, adj. metallurgically, adv. metallurgist /met l err jist/ or, esp. Brit., /meuh tal euhr jist/, n. /met l err jee/ or, esp. Brit., /meuh tal euhr jee/, n. 1. the technique or science of working or heating metals so as… … 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
equivalent — eq·uiv·a·lent n: something that performs substantially the same function as another thing in substantially the same way compare aggregation, combination, invention ◇ Under patent law, a patentee may bring a claim for infringement against the… … Law dictionary
Formal semantics — See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium