1) deductive verification
演绎式验证
2) proof with the deductive method
演绎证明
1.
After discussing the origin and development of the idea of proof with the deductive method in ancient Greek mathematics,this paper points out its effect on Greek mathematics and the history of mathematics,and surveies its achievements and consequence in modern times.
从希腊数学演绎证明思想的发生发展入手,剖析了其在希腊数学乃至整个数学史上的作用,并对该思想对近代数学发展的影响进行评价。
4) transcendental deduction
先验演绎
1.
Discussion on the imagination in Kant s a transcendental deduction;
论康德A版先验演绎中的想象力
2.
This article studies why Kant wrote two transcendental deductions of the categories.
为什么康德对范畴的先验演绎写了两个阐释 ?我的回答是 :康德对对象的多种表述实际上是统一的 ,他的范畴的先验演绎是为了解答范畴为什么能对对象先天有效。
3.
This thesis focuses on a discussion of Kant\'s theory of transcendental deduction.
本文主要着眼于考察《纯粹理性批判》当中范畴的先验演绎思想。
5) deduction test
演绎测验
6) syllogistically
演绎式地
补充资料：欧洲式期权、美国式期权与亚洲式期权
欧洲式期权、美国式期权与亚洲式期权
【欧洲式期权、美国式期权与亚洲式期权】期权合约所规定的权利有一定的时效期，过了失效日后，权利即行作废。一些期权规定权利仅能在有效期的最后一天执行，这种期权被称为欧洲式期权(ell功pean叩tions);另一些期权则容许在有效期内任何一天执行，这种期权被称为美国式期权(一~oPtions)。值得指出的是，虽名为欧洲式或美国式期权，但已无任何地理上的意义。由于欧洲式期权的规定过于严格，又出现了一种“改变的欧洲式期权”，它允许期权在一定的时间范围内进行交易。可见，美国式期权为期权购买者提供了更多的选择机会，因此，它的购买者也往往需支付更高的保险费。近年来无论在欧洲或美国，所交易的期权均以美国式为主，欧洲式期权虽仍存在，但其交易量已比不上美国式期权。 在so年代末期，市场上又出现了一种所谓亚洲式期权(asian ontions)，但也无地理上的意义，其差别主要在于履约价值(exe而sev公此)的计算。以买权为例，无论是美国式期权或是欧洲式期权，执行权利所能得到的履约价值均为当时标的物的市价减去履约价格，再乘以合约所定的数量，但亚洲式期权的履约价值则为权利期间内标的物市价的平均(计算至履约日为止)，减去履约价格，再乘以合约所定的数量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条