Go to Questions & Answers
Aleksandr Vetrovasked for translation 7 years ago
How to translate? (en-ru)
equational reasoning
Author’s comment
We used equational reasoning to harness the properties of addition and multiplication.
User translations (2)
- 1.
(якобы) ≈ возможность алгебраических манипуляций над программами (или алгебраические манипуляции над программами?)
Translator's comment
"я категорически против употребление термина "чистый" в тех местах, где чистота вторична, а первична возможность алгебраических манипуляций над программами (equational reasoning)"
translation added by grumblerGold en-ru1 - 2.
Мы прибегнули к языку уравнений, чтобы использовать свойства сложения и умножения.
translation added by Margarita Chizh1