查询词典 calculus

one place predicate calculus：一元谓词演算

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

Mikusinski's operational calculus：米库辛斯基算子演算

Mikulicz's disease ^ 米库利奇病 | Mikusinski's operational calculus ^ 米库辛斯基算子演算 | Mira ^ 米拉铜铅合金

predicate calculus：谓词演算

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

predicate calculus：述词计算

predicate 述词 | predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑]

predicate calculus：述詞演算

predicate phrase adverbial 述詞組狀語 | predicate calculus 述詞演算 | predicate variable 述語變數

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

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;