查询词典 restricted predicate calculus

one place predicate calculus：一元谓词演算

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

second partial product：第二部分乘积

二阶系统 second order system | 第二部分乘积 second partial product | 第二阶述词演算 second predicate calculus

pure point spectrum：纯离散谱

pure mathematics 抽象数学 | pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算

predicate calculus：谓词演算

与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...

monadic predicate calculus：一元谓词运算

一元的 monadic | 一元谓词运算 monadic predicate calculus | 首一方程 monic equation

unary predicate calculus：单谓词演算

unary operator 単項演算子 | unary predicate calculus 单谓词演算 | unary system 一元系统

second predicate calculus：第二阶述词演算

第二部分乘积 second partial product | 第二阶述词演算 second predicate calculus | 次要机率分布 second probability distribution

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 纯状态

predicated response：预测响应

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

seal oil pressure：密封油压

"seal of bearing ","轴承密封" | "seal oil pressure ","密封油压" | "seal ring ","密封环,止漏环"

osteographer：骨论学家

choreographer舞蹈动作的设计者 | osteographer骨论学家 | glyphographer电刻者