predicate logic of first order的意思|示意
一阶谓词逻辑
predicate logic of first order的网络常见释义
一阶谓词逻辑 ... predicate language 谓词语言 predicate logic of first order 一阶谓词逻辑 predicate logic of higher order 高阶谓词逻辑 ...
predicate logic of first order相关例句
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。