查询词典 quantifier
- 与 quantifier 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
quantifier postposing transformation：數量詞後置轉換;定量詞後置變形
quantifier distribution transformation 數量詞分布轉換;定量詞分布變形 | quantifier postposing transformation 數量詞後置轉換;定量詞後置變形 | sample 樣本
-
bounded domain：有界域
bounded closed set 有界闭集 | bounded domain 有界域 | bounded existential quantifier 有界存在量词
-
bounded existential quantifier：有界存在量词
bounded domain 有界域 | bounded existential quantifier 有界存在量词 | bounded function 有界函数
-
bounded function：有界函数
bounded existential quantifier 有界存在量词 | bounded function 有界函数 | bounded matrix 有界矩阵
-
bounded operator：有界算子;囿算子
有界矩阵;囿矩阵 bounded matrix | 有界算子;囿算子 bounded operator | 有界量词 bounded quantifier
-
bounded quantification：有界量词限制
bounded point sequence 有界点序列 | bounded quantification 有界量词限制 | bounded quantifier 有界量词
-
bounded quantifier：有界量词
bounded quantification 有界量词限制 | bounded quantifier 有界量词 | bounded sequence 有界序列
-
bounded quantifier：受囿量词
寿命特征[曲线]|life characteristics | 受囿量词|bounded quantifier | 输出|output
-
bounded universal quantifier：有界全称量词
不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,
-
bounded sequence：有界序列
bounded quantifier 有界量词 | bounded sequence 有界序列 | bounded set 有界集合
- 推荐网络解释
-
steel,hypoeutectoid：亚共析钢
"steel,hypereutectoid","过共析钢" | "steel,hypoeutectoid","亚共析钢" | "steel ingot","钢锭"
-
midpoint tap：中心抽头=>中间抽头
midpoint rule 中点法则 | midpoint tap 中心抽头=>中间抽头 | midrange lateral acceleration handling maneuver 中等横向加速转向运动
-
lamentation：悲叹
lamentably 哀伤地 | lamentation 悲叹 | Lamentations 耶利米哀歌