外延性
- 与 外延性 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
axiom of continuity
连续公理
axiom of constructivity 可构成性公理 | axiom of continuity 连续公理 | axiom of extensionality 外延性公理
-
axiom of extensionality
外延性公理
axiom of continuity 连续公理 | axiom of extensionality 外延性公理 | axiom of infinity 无穷性公理
-
axiom of extensionality
外延性公设;外延性公理
837,"axiom of denumerability","可数公设;可数公理" | 838,"axiom of extensionality","外延性公设;外延性公理" | 839,"axiom of incidence; incidence axiom","关联公设;关联公理"
-
axiom of infinity
无穷性公理
axiom of extensionality 外延性公理 | axiom of infinity 无穷性公理 | axiom of power set 幂集公理
-
circumcenter, excenter
外心
外容量|outer capacity | 外心|circumcenter, excenter | 外延性|extensionality
-
axiom of denumerability
可数公理
连续性公理 axiom of continuity | 可数公理 axiom of denumerability | 外延性公理 axiom of extensionality
-
axiom of denumerability
可数公设;可数公理
836,"axiom of continuity","连续性公设;连续性公理" | 837,"axiom of denumerability","可数公设;可数公理" | 838,"axiom of extensionality","外延性公设;外延性公理"
-
extension principle of propositional logic
命题逻辑的外延性原理
extension of the residue field 剩余域的扩张 | extension principle of propositional logic 命题逻辑的外延性原理 | extension theorem 扩张定理
-
extensionality
外延性
表达式求值(evaluation of expressions)与副作用发生的相互顺序有一个序列点,而C++2003则特别指出,进入函数(function-entry)和退出函数η-变换表达了"外延性"(extensionality)的概念,在这种上下文中,两个函数被认为是相等的"当且仅当"对于所有的参数,
-
principle of extensionality
外延性原
principle of excluded middle 排中原 | principle of extensionality 外延性原 | principle of inclusion and exclusion 容斥原 ,包除原
- 推荐网络解释
-
NHL：abbr. non-hodgkin lymphoma; 淋巴瘤
-
complete ordered field：完备有序体
完全的空间n点形 complete n-point in space | 完备有序体 complete ordered field | 完全正(直)交系 complete orthogonal system
-
uniform scale：等分标尺
uniform limit 一致极限 | uniform scale 等分标尺 | uniform space 一致空间