- substitution statement
- оператор подстановки
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
substitution instance — noun : a statement in logic derived from a statement form by substitution of constants for variables … Useful english dictionary
Intensional statement — In logic, an intensional statement form is a statement form with at least one instance such that substituting co extensive expressions into it does not always preserve logical value. An intensional statement is a statement that is an instance of… … Wikipedia
Simultaneous substitution — For the US equivalent to this practice, see Syndication exclusivity. The View as it appears on ABC in Canada before and after simultaneous substitution is implemented as requested by CTV. Note the appearance of CTV s bug in the lower right corner … Wikipedia
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
Christadelphians — Main article Literature Bible Companion | Elpis Israel | Christendom Astray … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
MASORAH — This article is arranged according to the following outline: 1. THE TRANSMISSION OF THE BIBLE 1.1. THE SOFERIM 1.2. WRITTEN TRANSMISSION 1.2.1. Methods of Writing 1.2.1.1. THE ORDER OF THE BOOKS 1.2.1.2. SEDARIM AND PARASHIYYOT … Encyclopedia of Judaism
Text Executive Programming Language — In 1979, Honeywell Information Systems announced a new programming language for their time sharing service named TEX, an acronym for the Text Executive processor. TEX was a first generation scripting language, developed around the time of AWK and … Wikipedia
Marginalism — Economics … Wikipedia
Sacrifice — • This term is identical with the English offering (Latin offerre) and the German Opfer Catholic Encyclopedia. Kevin Knight. 2006. Sacrifice Sacrifice … Catholic encyclopedia
evolution — evolutional, adj. evolutionally, adv. /ev euh looh sheuhn/ or, esp. Brit., /ee veuh /, n. 1. any process of formation or growth; development: the evolution of a language; the evolution of the airplane. 2. a product of such development; something… … Universalium