查询词典 existing quantifier

bounded quantifier：受囿量词

寿命特征[曲线]|life characteristics | 受囿量词|bounded quantifier | 输出|output

bounded universal quantifier：有界全称量词

不幸的是,在戴维斯找到的关联中用到了一个被称为有界全称量词(Bounded Universal Quantifier)的逻辑算符. 如果没有这个有界全称量词,他就可以证明所有的递归可枚举集都是丢番图集,大功也就告成了. 可是数学证明是差不得分毫的,因为有了这个有界全称量词,

bounded sequence：有界序列

bounded quantifier 有界量词 | bounded sequence 有界序列 | bounded set 有界集合

bounded downwards：向下有界

"有界度网路","bounded degree networks" | "向下有界","bounded downwards" | "有界存在量词","bounded existential quantifier"

exigent condition：紧急状态

exhaustive search 穷举搜索完全搜索 | exigent condition 紧急状态 | existential quantifier 存在量词

existence theorem of implicit function：隐函数的存在性定理

existence theorem for roots 根的存在性定理 | existence theorem of implicit function 隐函数的存在性定理 | existential quantifier 存在量词

actual existent：存在物

existential quantifier 存在定量詞;存在量化號 | actual existent 存在物 | existential 存在的

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 期望的未来规划

tulwar：曲刀, 弯刀

honey centrifuge 分蜜机, 摇蜜机, 甩蜜机 | tulwar 曲刀, 弯刀 | Joseph 约瑟夫(男子名)

subjectivism：主观主义

虽然承认客观世界的存在,但将其仅视为一种认识的材料,而否认它于认识过程和认识结果的作用,将知识主观化和工具化(唐龙云,2003),最终还是走上"主观主义"(subjectivism)认识论的道路.