大家在查：真分式假分式有理数乘法反用中学生学习报雅可比恒等式范德蒙恒等式超几何函数和平方牛顿恒等式

谓词逻辑

n.predicate logic
网络predicate calculus

谓词逻辑

谓词逻辑

英-汉网络释义

谓词逻辑

predicate logic

pl是什么意思_百度知道 ... PL:Placenta 胎盘 PL:Predicate Logic 谓词逻辑 PL:Phospholipid 磷脂 ...

predicate calculus

谓词逻辑（Predicate Calculus）表示法是一种形式表达法。本节介绍基于一阶谓词逻辑（First Order Predicate Calculus）的子 …

1

Symbolic logic is often divided into two branches, propositional logic and predicate logic .

符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

2

7

They are to monadic predicate logic what Boolean algebras are to propositional logic , and what polyadic algebras are to first-order logic .

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

8

a novel first-order predicate rule mining algorithm, named PHVB algorithm , was proposed .

提出了基于 GEP 的一阶谓词逻辑规则挖掘算法 PHVB 算法。

9

Quantified modal logic based on free logic improves classic quantified modal logic .

以自由逻辑为基础的模态谓词逻辑是对经典模态谓词逻辑的改造。

10

The first level is the level of propositional logic, the second level is the level of predicate logic or logic of class .

第一个层次是命题逻辑的层次，第二个层次是谓词逻辑或类逻辑的层次。

11

By predicate logic, the solution is set up and the process of analysis is provided.

依据谓词逻辑规则建立解决方案，提供了求解的流程。

13

It can contain classic quantified modal logic and it is flexible and tolerated .

具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。

15

Theory of quasi-truth degrees of formulas in two -valued predicate logic

一类二值谓词逻辑中公式的准真度理论

16

The research on transforming representation of semantic network to expression of predicate logic

由语义网络语言的知识表示到谓词逻辑的转换

18

Study Predicate Logic Used in Design PLC Ladder Diagram

谓词逻辑在设计 PLC 梯形图中使用的研究

19

Application of Predicate Logic in Question Answering System

谓词逻辑在答疑系统中的应用

20

A conditional predicate calculus logic for PKI trust model analysis

PKI 信任模型的条件谓词逻辑推理

热词推荐

大家在看