外延性
- 与 外延性 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
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 容斥原 ,包除原
- 推荐网络解释
-
Supposed to Be：应该吧
我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so
-
Plain Weave：平布
509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢
-
Al Niyat t Sco：心 宿 三
Al Niyat s Sco 心 宿 一 2.89 | Al Niyat t Sco 心 宿 三 2.82 | Al Rakis n Dra 天 棓 二 5 d