查询词典 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 匹配,

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul