查询词典 predicate

primitive recursive isomorphism：原始递归同构

primitive recursive function 原始递归函数 | primitive recursive isomorphism 原始递归同构 | primitive recursive predicate 原始递归渭词

primitive recursive predicate：原始递归渭词

primitive recursive isomorphism 原始递归同构 | primitive recursive predicate 原始递归渭词 | primitive root 原根

primitive recursive predicate：基元遞迴述訪

基元遞迴函數 primitive recursive function | 基元遞迴述訪 primitive recursive predicate | 基元狀態表 primitive state table

PN proper names：专有名称

15. OBJ direct object 直接宾语 | 16. PN proper names 专有名称 | 17. PRD predicate 表属性

propositional calculus：命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

prosodic：作诗法的

Pearlmutter(1998) 描述的多重限制理论,该理论主张近因/位置和一个次级因素-谓词接近性(predicate proximity)结合词汇的,文法的,作诗法的(prosodic),和上下文的限制决定联接偏好.

pure predicate calculus of first order：一阶纯谓词演算

pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论

pure set theory：一般集合论

pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论 | pure state 纯状态

general recursiveness：一般递归性

general recursive predicate 一般递归谓词 | general recursiveness 一般递归性 | general refrigerated vessel 通用冷藏船

repugnant concepts：别异矛盾概念

变质 obversion | 别异矛盾概念 repugnant concepts | 宾词 predicate

user data clear：清除用户数据

user color 用户选用色 | user data clear 清除用户数据 | user tools 使用者工具

power station：电站

电站(Power Station):和所有RTS一样,它为战争提供必要的电力供应. 维泰奇人 一、概况 维泰奇人(Vitechy)是故事情节中一个非常重要的种族,但在对战中不能选择维泰奇人,这个种族拥有令人骄傲的科技力量. 对于维泰奇人(Vitechy)来说,