英语人>网络解释>extensionality 相关的网络解释
extensionality相关的网络解释

查询词典 extensionality

与 extensionality 相关的网络解释 [注:此内容来源于网络,仅供参考]

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 extensionality:外延公式

"图序列","graph sequence" | "外延公式","axiom of extensionality" | "无穷公理","axiom of infinity"

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

extensionality:外延性

表达式求值(evaluation of expressions)与副作用发生的相互顺序有一个序列点,而C++2003则特别指出,进入函数(function-entry)和退出函数η-变换表达了"外延性"(extensionality)的概念,在这种上下文中,两个函数被认为是相等的"当且仅当"对于所有的参数,

extensionality:外延

extension theorem 扩张定理 | extensionality 外延 | extensive quantity 外延量

principle of extensionality:外延性原

principle of excluded middle 排中原 | principle of extensionality 外延性原 | principle of inclusion and exclusion 容斥原 ,包除原

第1/2页 1 2 > 尾页
推荐网络解释

Bodice, body:衣大身

裁片Cutted pieces, cut pieces, cut parts | 衣大身Bodice, body | 大身衣片Body piece

take a bath:洗个澡

Taiwanese 台湾的 | take a bath 洗个澡 | take a beating 受打击

beehive kiln:间歇式圆窑

beehive cooler || 蜂房式冷却器 | beehive kiln || 间歇式圆窑 | Beehive || 蜂巢星团(即鬼星团)