1) 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中不动点组合算子的范式。
2) extensive attributes
外延属性
3) extensibility
[英][iks,tensə'biliti] [美][ɪk,stɛnsə'bɪlətɪ]
可外延性
4) extensive property
外延性质
5) selective epitaxy
选择性外延
1.
To satisfy the requirement for high performance infrared detector,a selective epitaxy Schottky barrier diode of SiGe was realized based on high quality silicon device.
为了满足高性能的红外探测要求,以高品质硅基器件研制了选择性外延锗硅肖特基二极管。
6) extension independence
外延无关性
1.
There are three assumptions hidden in the orthodox microeconomics: the connotation invariance, extension independence, perfect substitutability of preference.
正统经济学的微观理论范式隐含了三个基础性假设:偏好的内涵不变性、偏好的外延无关性和经济资源的完全可替代性。
补充资料：外延性公理
外延性公理
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不弱于有无穷公理的类型论
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条