Aim To explore the basic connotation, essence and influence of Lagrange's algebraic program of calculus.
目的探讨拉格朗日微积分代数化方案的基本内涵、实质及影响。
The program started with near-random combinations of basic mathematical processes - addition, subtraction, multiplication, division and a few algebraic operators.
程序始于基本数学过程的随机组合——加、减、乘、除和一些代数运算。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
最后还给出了时间化RSL的一些代数定律。 这些定律可以从其指称语义证明,并用于程序的转化和优化。
应用推荐