谓词演算

one place predicate calculus

一元谓词演算

one place number 单位数 | one place predicate calculus 一元谓词演算 | one point compactification 单点紧化

restricted predicate calculus

狭谓词演算

restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化

predicate constant

谓词常数

predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数 | predicate logic 谓词演算

predicate variable

谓词变元

谓词|predicate | 谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus

predicative calculus

谓词演算

predicated response 预测响应 | predicative calculus 谓词演算 | prediction 预报

Proofs

证明 IN FOPC(一阶谓词演算)

140 PROCEDURAL REPRESENTATIONS 过程性表达式 | 141 PROOFS 证明 IN FOPC(一阶谓词演算) | 142 PROPEL 推进 IN CD(概念从属理论)

propositional calculus

命题演算

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

pure predicate calculus of first order

一阶纯谓词演算

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

UNIVERSAL QUANTIFIER IN FOPC

全称量词 (一阶谓词演算)

181 UNIFICATION 成分的合一 OF CONSTITUENTS | 182 UNIFICATION - BASED GRAMMARS 基于合一的文法 | 183 UNIVERSAL QUANTIFIER IN FOPC 全称量词 (一阶谓词演算)

predicated response

预测响应

predicate logic language 谓词逻辑语言 | predicated response 预测响应 | predicative calculus 谓词演算

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul