演算

predicate logic

谓词演算

predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号

predicative calculus

谓词演算

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

Proofs

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

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

propositional calculus

命题演算(又称"命题 辑

propositional axiom 命题公 | propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词

propositional calculus

命题演算Btu中国学习动力网

proposition 命题Btu中国学习动力网 | propositional calculus 命题演算Btu中国学习动力网 | propositional inference 命题推演Btu中国学习动力网

partial propositional calculus

部分命题演算

部分[乘]积 partial products | 部分命题演算 partial propositional calculus | 部分商 partial quotient

pure predicate calculus of first order

一阶纯谓词演算

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

recursive algorithm

遞迴演算

Rectangular window 矩形窗口 | Recursive algorithm 遞迴演算 | Recursive least squares 遞延最小平方

Rendered

(演算形筆刷) 類似水管一般但筆中間為實兩旁為虛

Porjected (噴射形噴槍筆尖) | Rendered (演算形筆刷) 類似水管一般但筆中間為實兩旁為虛 | Liquid Ink Camel Hair (液態油墨駝毛筆刷)

sentential calculus

命题演算

sentence 命题 | sentential calculus 命题演算 | sentential connective 命题联结词

Anopheles candidiensis：日月潭疟蚊

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

Gnome Milnes:GNOME：下的扫雷

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