查询词典 arithmetical predicate

second partial product：第二部分乘积

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

compound piston ring：由几部分组成复式活塞环

compound pier | 组合柱 | compound piston ring | 由几部分组成复式活塞环 | compound predicate | 复合谓语

pure point spectrum：纯离散谱

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

PSR possessor：(持有者)

PRD predicate ( 谓语动词) | PSR possessor ( 持有者) | PSE possessee ( 被持有)

predecessor function：前钳数

predecessor 前趋 | predecessor function 前钳数 | predicate 谓词

predicant：传道的

predicament 困境 | predicant 传道的 | predicate adjective 表语形容词

predicate calculus：谓词演算

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

restricted predicate calculus：狭谓词演算

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

monadic predicate calculus：一元谓词运算

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

unary predicate calculus：单谓词演算

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

allied：同盟

"达利表示道,"两个教派都希望能促进彼此间的关系,将彼此视作是同盟(allied)而非世仇(feud). 但是罗马天主教必须向希腊东正教保证东正教能维持其独立性,而非受到罗马教廷的管制. "本笃16世在停留土耳其的期间屡屡登上媒体头条,

granuliform：细粒状的

Granulichara 粒轮藻属 | granuliform 细粒状的 | granulite facies 麻粒岩相