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

steam trap valve：疏水阀

球阀 ball valve | 疏水阀 steam trap valve | 蛇管式换热器 serpentine type heat exchanger

aldermanship：市政官

aldermanry 议员 | aldermanship 市政官 | Alderney 乳牛