查询词典 quantifier
- 与 quantifier 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
bounded quantifier：有界量词
bounded quantification 有界量词限制 | bounded quantifier 有界量词 | bounded sequence 有界序列
-
bounded quantifier：受囿量词
寿命特征[曲线]|life characteristics | 受囿量词|bounded quantifier | 输出|output
-
bounded universal quantifier：有界全称量词
不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,
-
existential quantifier：存在定量詞;存在量化號
existential sentence 存在句 | sentence of being 存在句 | existential quantifier 存在定量詞;存在量化號
-
existential quantifier：存在数量词
existential process 存在过程 | existential quantifier 存在数量词 | exocentric 外向的
-
existential quantifier：存在量词 IN FOPC(一阶谓词演算)
61 EXISTENTIAL QUANTIFICATION 存在量词化 IN KR(知识表示) | 62 EXISTENTIAL QUANTIFIER 存在量词 IN FOPC(一阶谓词演算) | 63 EXPECTED FUTURE PLAN 期望的未来规划
-
Existenzquantor existential quantifier; exists：存在量词
Existenz existence 存在 | Existenzquantor existential quantifier; exists 存在量词 | explizit explicit 显式
-
generality quantifier：通用量词
general routine 通用程序 | generality quantifier 通用量词 | generalized database 综合数据库
-
generality quantifier：全称量词
普遍性;普通性;一般性 generality | 全称量词 generality quantifier | 普遍推广 generalization
-
quantifier：量词
X|Y表示"任何X或Y的匹配" 可以将量词(quantifier)用到表达式中,X+ 表示X重复1次或多次,X* 表示X重复0次或多次,X? 表示X重复0次或1次 默认地,一个量词总是与使总体成功匹配的最长的可能重复匹配. 可以加上后缀?(称为reluctant或stingy 匹配,
- 推荐网络解释
-
Apportioned Effort：分摊努力
Applied Direct Costs 实际直接成本 | Apportioned Effort 分摊努力 | Apportioned Task 分摊任务
-
tussah silk fabric：柞丝绸
tussah silk carpet 柞丝毯 | tussah silk fabric 柞丝绸 | tussah silk fancy yarn 柞粗纺丝
-
make sb. do sth.(be made sb.to do sth：使某人做某事
be made for each other 有利于,倾向于 | make sb. do sth.(be made sb.to do sth.)使某人做某事 | to make a speech 做报告.