1) abstraction operation
抽象运算
1.
e Study the correspondence between CL(Combinalory Logic)and lambda calculus by means of the following rules and respectively:is a functional CL-tenn and Where“λ￣*x” is an any abstraction operation in CL.
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。
3) abstract operators
抽象算子
4) abstraction of movement
运动的抽象
5) abstract network
[运]抽象网络
6) abstract cosine operator
抽象cosine算子
补充资料：不定积分的运算法则
又称为“不定积分的性质”，包含如下两个性质：
（1）设函数f(x)的原函数存在，k是常数，k≠0，则
∫kf(x)dx=k∫f(x)dx
（2）设f(x),g(x)是两个可积分的函数，则
∫[f(x)+g(x)]dx=∫f(x)dx+∫g(x)dx
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条