-
1 Reduktionsregel
сущ.теор. правило приведения, правило эквивалентной замены -
2 Reduktionsregel
(f)правило приведения, правило эквивалентной заменыDeutsch-Russische Wörterbuch der Automatisierung und Fernsteuerung > Reduktionsregel
-
3 Reduktionsregel
fправило приведения; правило эквивалентной заменыDeutsch-Russische Wörterbuch polytechnischen > Reduktionsregel
-
4 Reduktionsregel
f правило с. приведения мат.; правило с. эквивалентной заменыNeue große deutsch-russische Wörterbuch Polytechnic > Reduktionsregel
-
5 Reduktions
Neue große deutsch-russische Wörterbuch Polytechnic > Reduktions
-
6 Regel
См. также в других словарях:
Kombinator — Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders… … Deutsch Wikipedia
Kombinatorische Logik — (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als… … Deutsch Wikipedia