1) compound-assignment operator
复合设置运算符
2) compound-assignment operator
复合设定运算子
4) Anticoincidence Operation
反符合运算
5) collection operators
集合运算符
1.
The BNF(Bachus_Naur Form) of Chinese production system ,the reasoning mechanism based on context and the collection operators are mainly discussed.
本文提出了基于CLIPS的卫星任务规划专家系统的设计方法,详细分析了系统的结构和功能,重点讨论了中文产生式系统的BNF范式、基于上下文的推理机制和集合运算符。
6) compound operation
复合运算
1.
Proving Lagrange theorem mean through the introduction of auxiliary function,this article puts forword the methods of building auxiliary function by the mathematical operations and two functions compound operation;this is a method building all elementary function by the basic elementary function,which is a way to solve the problem of the auxiliary function building.
文章给出了用四则运算以及两个函数的复合运算构造辅助函数来证明拉格朗日中值定理的方法,这也是用基本初等函数构造全部初等函数的方法,因而比较圆满地解决了辅助函数构造问题。
2.
It is given the demonstration that using the definitional method demonstrate binary function s arithmetic operation and compound operation of differential calcultus.
本文给出了用定义法证明二元函数可微性的四则运算法则与复合运算法则。
补充资料：集合运算
集合运算
operations of set
J一he yunsuan集合运算(叩erations ofset)从已知集合获得新集合的常用方法。 在讨论某类问题时，通常有一个含有所涉及的全部元素之固定集合。称为全集或空间，常用U表示，其它集合全是U的子集。假定A与B为集合。 并A与B的并集为集合}x}xeA或xeB}，记为AUB。 交A与B的交集为集合{x}x〔A且x任B}，记为AnB。 差A与B的差集为集合}x}x任A且x氏B}，记为A一B或A\B。 补A的补集为集合U一A，记为一A。 对称差A与B的对称差集为集合(A UB)一(A门B)，记为A④B。 如果AnB=必，则称A与B不相交。 上述5种集合运算，可用图1所示的文氏图直观地表示，图中阴影部分为运算结果。 例l设U={2，3，5，7，11，13}，A={2，5，7}，B={2，3，7，11}，则 AUB={2，3，5，7，11}。集.354·集馨日臀豁(a)八UB(b)A门B(c)A一B(d)A④B(e)一A 图1 A门B={2，7} A一B二{5} A④B={3，5，11} 一A={3，11，13}关于集合运算U，n和一，有以下基本定律:幂等律 AUA=A AnA=A交换律 AUB二BUA A门B=B门A结合律 (AUB)UC=AU(BUC) (A自B)门C=A门(B自C)分配律 AU(B自C)=(AUB)门(AUC) A自(BUC)=(A门B)U(A门C)同一律 AU必=A AnU=A零律 AUU=U An必二必互补律 AU一A=0 A自一A二必吸收律 AU(AnB)=A An(AUB)=A对偶律 一(AUB)=一An一B 一(A门刀)=一AU一B对合律 一(一A)=A集合运算的文氏图 广义并A的广义并为集合{二{有集合S任A 使x任S}，记为UA。 当A={Al，…，A，}且Al，…，A。均为集合时， 则把UA记为A，UAZU…UA·或从入。 广义交若A共曰，则A的广义交为集合lxl 若S任A，则x任引，记为nA。 当A={A，，…，A，}且A卫，…，A，均为集合时， 则把nA记为A，门AZn…nA!或瓜A，。 幕集A的幂集为集合1引S里A}，记为ZA或 护(A)。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条