查询词典 arithmetical predicate

prediction law：预告律

predicate variable 谓词变项 | prediction law 预告律 | prediction theory 预告理论

Pretest loop：前测试循环

谓词 Predicate | 前测试循环 Pretest loop | 质数 Prime number

restricted primal problem：设限的原问题

狭谓词演算 restricted predicate calculus | 设限的原问题 restricted primal problem | 设限三体问题 restricted problem of three bodies

primitive recursive function：基元遞迴函數

原始遞迴 primitive recursive | 基元遞迴函數 primitive recursive function | 基元遞迴述訪 primitive recursive 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),和上下文的限制决定联接偏好.

generator unit：机组

军队:Military unit | 机组:generator unit | 容重:unit weight

cork patchwork：软木拼画

cork paper 软木纸 | cork patchwork 软木拼画 | cork picture card 软木画卡片