查询词典 predicate variable

predication：述谓结构

一个述谓结构(predication)包含论元(argument)和谓词(predicate), 论元是述谓结构的逻辑上的参与者,主要是一个句子中的名词性成分,谓词是对论元的述说,或者陈述一种与论元之间的逻辑关系.

predicative：表语

英语的基本成分有六种:主语(subject)、谓语(predicate)、表语 ,,(predicative)、宾语(object)、定语(attribute)和状语(adverbial). ,,英语句子成分中,有些具有形态标志. 如第一人称代词作主语就用主格"I", ,,作宾语用宾格"me",

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开发,

Ben Li：李 斌

张爱玲Irene Zhang | 李 斌Ben Li | 李连杰 Jet Li

WESTBANK collude：勾结

共享软件 WESTBANK shareware | 勾结 WESTBANK collude | 构成要件 WESTBANK constitutive requirements