说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 可外延性
1)  extensibility [英][iks,tensə'biliti]  [美][ɪk,stɛnsə'bɪlətɪ]
可外延性
2)  deferability
可延期性
1.
In view of the flexibility of the deferability features and the mutual influence of rival strategy of venture capital investment in reality,the game theory and option theory were combined to analyze the optimal investment structure for immediate investors and delayed investors and discuss the deferability issues arisen from the uncertainty factor of venture capital projects.
考虑到风险投资在现实中具有可延期的灵活性和投资方竞争策略的相互影响,将博弈思维与期权理论结合起来建立相应模型,分析了立即投资者和延期投资者的最优投资结构,讨论了风险投资项目不确定性所引起的可延期性问题。
3)  extensibility [英][iks,tensə'biliti]  [美][ɪk,stɛnsə'bɪlətɪ]
可延展性
4)  extensibility [英][iks,tensə'biliti]  [美][ɪk,stɛnsə'bɪlətɪ]
可延长性
5)  extensionality [iks'tenʃə'næliti]
外延性
1.
This paper discusses the extensionality in the formal theory CLξ_w.
考虑组合逻辑形式系统CLξw的外延性问题。
2.
On structure and extensionality of fixed-point combinators in CL w;
从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式。
6)  extensive attributes
外延属性
补充资料:外延性公理


外延性公理
axiom of extensionality

外延性公理[‘姗of exte此i叨ality;浦货M毗.a,-。日角,a} 集合论公理之一,它断言当两个集合含相同元素时两集合相等: Vu Vv(Vx(x任u骨x〔v)劝u=v).在一个不含等号而且仅有一个谓词符号6的语言中,外延性公理形式为 V“V:(丫x{灭。u伪x6。)功丫z(u、_:骨即任:)). 外延性公理在Zermelo一Fr能nkel系统(Zermelo-竹aenkel system忆F中对于数学的形式化不具有实际的重要性.任何能在ZF系统中构作的对象都能在一个没有外延性公理的系统中刻画.设ZF一是通过在ZF中去掉外延性公理以及把其余公理中形如u=,,的公式替换为公式 岁x(x任u骨丫任飞)而得到的.那么可以证明在 ZF一中存在ZF的解释(inter-Pretation).类似的结论对于类型论也成立. 对于Qulne系统NF,‘它由消除类型论的类型标号而得,情况就不同:不能在NF一中解释NF.系统NF一‘除去外延性公理的NF)是一个颇弱的系统,而且它的相容性能在形式算术中证明,然而NF不弱于有无穷公理的类型论
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条