说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 自然推理演算
1)  calculus of nature inference
自然推理演算
2)  natural deduction system
自然推演式
3)  natural deduction
自然推理
1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
2.
The rule of supposed premise elimination in the system of natural deduction is for eliminating the supposed premises by structuring a implication expression in the course of introducing the supposed premises to infer the conclusion.
自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。
4)  physiographic succesion
自然地理演替
5)  automatic decuction
自动演绎推理
6)  natural inference system
自然推理系统
补充资料:欧洲式期权、美国式期权与亚洲式期权


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


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