substitution rule

  • 1substitution 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

  • 2substitution 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

  • 3Substitution 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

  • 4rule — 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

  • 5Substitution — 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

  • 6Substitution 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

  • 7Integration 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

  • 8Chain 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

  • 9rè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

  • 10rewriting 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