在代数逻辑中，作用代数是既是剩余半格又是克莱尼代数的代数结构。它向剩余半格增加了克莱尼代数的星号或自反传递闭包运算，或者说向克莱尼代数增加了剩余半格的左和右剩余或蕴涵运算。
布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。
The reasoning process called for by Boolean algebra are implemented through switches acting as electronics logic circuits.
数量和空间在解析几何，微分几何和代数几何中都发挥作用。
Quantity and space both play a role in analytic geometry, differential geometry, and algebraic geometry.
利用线性叠加原理，通过求解两组代数方程组，从而分离出点力与点电荷的耦合作用。
Then by the principle of superposition and solving two sets of algebraic equations, the interaction between the point force and the point charge was uncoupled.
应用推荐