1) syllogistically
演绎式地
2) cartographic deduction method
地图演绎法
3) deductive verification
演绎式验证
4) start-point of deductive
地理演绎起点
5) Formal deductive system B
形式演绎系统B
6) formal deductive system
形式演绎系统
1.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
2.
A formal deductive system L* has been introduced, and L* has been applied to fuzzy reasoning.
研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的。
3.
The formal deductive system L is fuzzified in both aspects of semantics and syntax,and a meaningful extension L is obtained.
从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 。
补充资料：欧洲式期权、美国式期权与亚洲式期权
欧洲式期权、美国式期权与亚洲式期权
【欧洲式期权、美国式期权与亚洲式期权】期权合约所规定的权利有一定的时效期，过了失效日后，权利即行作废。一些期权规定权利仅能在有效期的最后一天执行，这种期权被称为欧洲式期权(ell功pean叩tions);另一些期权则容许在有效期内任何一天执行，这种期权被称为美国式期权(一~oPtions)。值得指出的是，虽名为欧洲式或美国式期权，但已无任何地理上的意义。由于欧洲式期权的规定过于严格，又出现了一种“改变的欧洲式期权”，它允许期权在一定的时间范围内进行交易。可见，美国式期权为期权购买者提供了更多的选择机会，因此，它的购买者也往往需支付更高的保险费。近年来无论在欧洲或美国，所交易的期权均以美国式为主，欧洲式期权虽仍存在，但其交易量已比不上美国式期权。 在so年代末期，市场上又出现了一种所谓亚洲式期权(asian ontions)，但也无地理上的意义，其差别主要在于履约价值(exe而sev公此)的计算。以买权为例，无论是美国式期权或是欧洲式期权，执行权利所能得到的履约价值均为当时标的物的市价减去履约价格，再乘以合约所定的数量，但亚洲式期权的履约价值则为权利期间内标的物市价的平均(计算至履约日为止)，减去履约价格，再乘以合约所定的数量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条