- transitive substitution
- мат. транзитивная подстановка
Большой англо-русский и русско-английский словарь. 2001.
transitive substitution
Смотреть что такое "transitive substitution" в других словарях:
monochlorinate — “+ transitive verb Etymology: mon + chlorinate : to combine with one atom of chlorine either by substitution or addition … Useful english dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
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
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Indifference curve — In microeconomic theory, an indifference curve is a graph showing different bundles of goods, each measured as to quantity, between which a consumer is indifferent. That is, at each point on the curve, the consumer has no preference for one… … Wikipedia
Theorie du consommateur (micro-economie) — Théorie du consommateur (microéconomie) La théorie du consommateur est la modélisation économique du comportement d un agent économique en tant que consommateur de biens et de services. Cette expression désigne généralement la seule théorie… … Wikipédia en Français
Théorie du consommateur — (microéconomie) La théorie du consommateur est la modélisation économique du comportement d un agent économique en tant que consommateur de biens et de services. Cette expression désigne généralement la seule théorie néoclassique du consommateur… … Wikipédia en Français
Théorie du consommateur (micro-économie) — Théorie du consommateur (microéconomie) La théorie du consommateur est la modélisation économique du comportement d un agent économique en tant que consommateur de biens et de services. Cette expression désigne généralement la seule théorie… … Wikipédia en Français
Théorie du consommateur (microéconomie) — La théorie du consommateur est la modélisation économique du comportement d un agent économique en tant que consommateur de biens et de services. Cette expression désigne généralement la seule théorie néoclassique du consommateur et les travaux… … Wikipédia en Français
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives … Wikipédia en Français
