Перейти в Вопросы и ответы
Aleksandr Vetrovспросил перевод 8 anos atrás
Как перевести? (en-ru)
equational reasoning
Комментарий автора
We used equational reasoning to harness the properties of addition and multiplication.
Переводы пользователей (2)
- 1.
(якобы) ≈ возможность алгебраических манипуляций над программами (или алгебраические манипуляции над программами?)
Комментарий переводчика
"я категорически против употребление термина "чистый" в тех местах, где чистота вторична, а первична возможность алгебраических манипуляций над программами (equational reasoning)"
Перевод добавил grumblerЗолото en-ru1 - 2.
Мы прибегнули к языку уравнений, чтобы использовать свойства сложения и умножения.
Перевод добавил Margarita Chizh1