- rule of substitution
- мат. правило подстановки
Большой англо-русский и русско-английский словарь. 2001.
rule of substitution
Смотреть что такое "rule of substitution" в других словарях:
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 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
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 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
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
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
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
Explicit substitution — In computer science, Explicit substitution is an umbrella term used to describe several calculi based on the Lambda calculus that pay special attention to the formalization of the process of substitution. The concept of explicit substitutions has … 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
