查询词典 predicate

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 一元系统

unary predicate calculus：单述词演算

一元运算子 unary operator | 单述词演算 unary predicate calculus | 单元限制零边林美耳系统 unary restricted zerosided Lindenmayer system,U0L

second predicate calculus：第二阶述词演算

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

predicate logic：谓词逻辑

理论上,如果完全使用形式语言(formal language)和谓词逻辑(predicate logic)构造一种语言是可以做到完全无歧义的. 但这样绝对精确的语言是不适合人类这种不精确的生物的. 我们需要谐音来开玩笑,需要双关的语义来写诗歌,需要用模棱两可的语言来敷衍不...

predicate logic：述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

steam trap valve：疏水阀

球阀 ball valve | 疏水阀 steam trap valve | 蛇管式换热器 serpentine type heat exchanger

aldermanship：市政官

aldermanry 议员 | aldermanship 市政官 | Alderney 乳牛