说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 蕴涵式访问
1)  implicative access
蕴涵式访问
2)  prime implicant/implicate
本原蕴涵/蕴涵式
3)  Implication [英][,ɪmplɪ'keɪʃn]  [美]['ɪmplɪ'keʃən]
蕴涵式
1.
Some of equivalent types and the implication type can t be proved by the matrix unlike propositional logic.
量词在一阶逻辑推理中起着重要作用,然而它的性质及运算规律比较繁杂,关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证,本文将给出一系列的论证。
4)  Formal Implication
形式蕴涵
5)  prime implicant form
素蕴涵式
6)  implication [英][,ɪmplɪ'keɪʃn]  [美]['ɪmplɪ'keʃən]
蕴涵式;蕴含式
补充资料:欧洲式期权、美国式期权与亚洲式期权


欧洲式期权、美国式期权与亚洲式期权


  【欧洲式期权、美国式期权与亚洲式期权】期权合约所规定的权利有一定的时效期,过了失效日后,权利即行作废。一些期权规定权利仅能在有效期的最后一天执行,这种期权被称为欧洲式期权(ell功pean叩tions);另一些期权则容许在有效期内任何一天执行,这种期权被称为美国式期权(一~oPtions)。值得指出的是,虽名为欧洲式或美国式期权,但已无任何地理上的意义。由于欧洲式期权的规定过于严格,又出现了一种“改变的欧洲式期权”,它允许期权在一定的时间范围内进行交易。可见,美国式期权为期权购买者提供了更多的选择机会,因此,它的购买者也往往需支付更高的保险费。近年来无论在欧洲或美国,所交易的期权均以美国式为主,欧洲式期权虽仍存在,但其交易量已比不上美国式期权。 在so年代末期,市场上又出现了一种所谓亚洲式期权(asian ontions),但也无地理上的意义,其差别主要在于履约价值(exe而sev公此)的计算。以买权为例,无论是美国式期权或是欧洲式期权,执行权利所能得到的履约价值均为当时标的物的市价减去履约价格,再乘以合约所定的数量,但亚洲式期权的履约价值则为权利期间内标的物市价的平均(计算至履约日为止),减去履约价格,再乘以合约所定的数量。
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条