predicate logic
谓词逻辑：一类符号形式系统，如一阶逻辑、二阶逻辑、多分类逻辑或无穷逻辑等。
predicate logic网络翻译
在数理逻辑中，谓词逻辑（Predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary..
谓词演算... primitive recursive predicate 原始递归谓词,原始递... predicate logic 谓词演算 false predicate 假谓词 ...
predicate logic常用短语
1. third order predicate logic：[数] 三阶谓词逻辑
2. First-order Fuzzy Predicate Logic：一阶模糊谓词逻辑
3. second-order predicate logic：[数] 二阶谓词逻辑
4. first t order predicate logic：一阶谓词逻辑
5. predicate logic of first order：[数] 一阶谓词逻辑
6. predicate logic lock：谓词逻辑锁
predicate logic双语例句
By predicate logic, the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案，提供了求解的流程。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
相关单词
- purchasingn. 购买，采购 adj. 购买的，采购的 v. <正式>购买，采购；<古>（努力或艰难地）获得，得到；（航海）（用滑轮或杠杆）升起，举起（绳，索，锚）（purchase 的现在分词）
- purchasern. 买方；购买者
- publishingn. 出版；出版业 adj. 出版的；出版业的 v. 出版；发行（publish 的现在分词形式）；发表
- publishern. 出版者，出版商；发行人
- psycology
- protractorn. 伸肌；分度器；伤处异物摘出器
- protectionismn. 保护主义，贸易保护主义；贸易保护制度
- proletariatn. 无产阶级，工人阶级；最下层阶级
- proletariann. 无产阶级分子；无产者 adj. 无产阶级的；无产者的
- programmern. （计）程序设计员；编程器
- producingv. （用部件或原材料）生产；出产；生育；创作；引起；出示；制作（电影、戏剧等）；监制（音乐磁带）；（使）线段延长（produce 的现在分词）
- prizegivingn. 分配奖品
- private sector私营单位
- printingn. 印刷（术）；（书的）一次印刷；印刷字体 v. 打印，印刷；（在报纸、杂志上）刊印，刊登；洗印，冲洗（照片）（print 的现在分词形式）
- playwrightn. 剧作家