substitution rule

substitution rule
правило подстановки

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "substitution rule" в других словарях:

  • 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


Поделиться ссылкой на выделенное

Прямая ссылка:
https://dic.academic.ru/dic.nsf/eng_rus/777425/substitution Нажмите правой клавишей мыши и выберите «Копировать ссылку»