Passar para Perguntas e respostas
Aleksandr Vetrovsolicitou a tradução 7 years ago
Como traduzir? (en-ru)
equational reasoning
Comentário do autor
We used equational reasoning to harness the properties of addition and multiplication.
Traduções dos usuários (2)
- 1.
(якобы) ≈ возможность алгебраических манипуляций над программами (или алгебраические манипуляции над программами?)
Comentário do tradutor
"я категорически против употребление термина "чистый" в тех местах, где чистота вторична, а первична возможность алгебраических манипуляций над программами (equational reasoning)"
Tradução adicionada por grumblerOuro en-ru1 - 2.
Мы прибегнули к языку уравнений, чтобы использовать свойства сложения и умножения.
Tradução adicionada por Margarita Chizh1