| 释义 |
equational
adjective
mathematics specializeduk /ɪˈkweɪ.ʒən.əl/ us /ɪˈkweɪ.ʒən.əl/
relating to, using, or involving equations(= mathematical statements in which you show that two amounts are equal using mathematical symbols): 等式地
equational reasoningThis kind of formulation makes equational reasoning more straightforward. 这种表述方式使等式推理更加简单明了。
The ordinary rules of equational deduction are valid in this example.
Related word
equation
There is an an underlying equational logic to the computer program.
The theorem can be proved using equational reasoning.
There are several possible interpretations of this equational theory.
These are the steps of equational reasoning that complete the proof.
This equational system is sometimes called universal algebra.
|