-
1 substitution rule
правило подстановки
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > substitution rule
-
2 substitution rule
-
3 substitution rule
letter-into-sound rule — правило соответствия "буква-звук"
The English-Russian dictionary general scientific > substitution rule
-
4 substitution rule
Большой англо-русский и русско-английский словарь > substitution rule
-
5 substitution rule
Англо-русский словарь технических терминов > substitution rule
-
6 substitution rule
-
7 substitution rule
-
8 substitution rule
правило подстановкиАнгло-русский большой универсальный переводческий словарь > substitution rule
-
9 substitution rule
Англо-русский словарь по компьютерной безопасности > substitution rule
-
10 substitution rule
вчт правило подстановки -
11 substitution rule
вчт. правило подстановкиThe New English-Russian Dictionary of Radio-electronics > substitution rule
-
12 substitution rule
English-Russian dictionary of computer science and programming > substitution rule
-
13 substitution rule
-
14 substitution rule
-
15 substitution rule
мат. -
16 substitution rule
-
17 lexical substitution rule
Лингвистика: правило лексической заменыУниверсальный англо-русский словарь > lexical substitution rule
-
18 (a) substitution rule
English-Russian combinatory dictionary > (a) substitution rule
-
19 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
20 substitution
1) замена
2) заместительство
3) подстановка
4) подстановок
5) субституция
6) замещение
7) подставление
– address substitution
– alkylate by substitution
– check by substitution
– elimination by substitution
– integration by substitution
– make substitution
– measurement by substitution
– substitution for
– substitution group
– substitution method
– substitution reaction
– substitution rule
– substitution titration
См. также в других словарях:
substitution rule — pakeitimo taisyklė statusas T sritis automatika atitikmenys: angl. rewriting rule; substitution rule vok. Substitutionsregel, f rus. правило подстановки, n pranc. règle de substitution, f … Automatikos terminų žodynas
substitution rule — noun : a principle in logic specifying what expressions may be substituted for one another a substitution rule specifying that the definiendum may replace the definiens … Useful english dictionary
Substitution tiling — A tile substitution is a useful method for constructing highly ordered tilings. Most importantly, some tile substitutions generate aperiodic tilings, which are tilings whose prototiles do not admit any tiling with translational symmetry. The most … Wikipedia
rule — I n. regulation principle 1) to establish, lay down, make (the) rules 2) to formulate a rule 3) to adopt a rule 4) to apply, enforce a rule 5) to obey, observe a rule 6) to break, violate a rule 7) to bend, stretch a rule 8) to rescind, revoke a… … Combinatory dictionary
Substitution — For Wikipedia Template Substitution, see Substitution is the replacement of one thing with another. In mathematics: * Substitution rule, in calculus * Variable substitution, in first order logic * The substitution method of solving simultaneous… … Wikipedia
Substitution instance — In propositional logic, a substitution instance of a propositional formula is a second formula obtained by replacing symbols of the original formula by other formulas. A key fact is that any substitution of a tautology is again a tautology.… … Wikipedia
Integration by substitution — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables Implicit differentiation Taylor s theorem Related rates … Wikipedia
Chain rule — For other uses, see Chain rule (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables Implicit differentiation … Wikipedia
règle de substitution — pakeitimo taisyklė statusas T sritis automatika atitikmenys: angl. rewriting rule; substitution rule vok. Substitutionsregel, f rus. правило подстановки, n pranc. règle de substitution, f … Automatikos terminų žodynas
rewriting rule — pakeitimo taisyklė statusas T sritis automatika atitikmenys: angl. rewriting rule; substitution rule vok. Substitutionsregel, f rus. правило подстановки, n pranc. règle de substitution, f … Automatikos terminų žodynas
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia