... primitive recursive predicate 原始递归谓词,原始递... predicate logic 谓词演算 false predicate 假谓词 ...
基于66个网页-相关网页
predicate logic language 谓词逻辑语言
first order predicate logic [数] 一阶谓词逻辑 ; 叙述逻辑
first-order predicate logic 一阶谓词逻辑
third order predicate logic [数] 三阶谓词逻辑
First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
second-order predicate logic [数] 二阶谓词逻辑
first t order predicate logic 一阶谓词逻辑
predicate logic of first order [数] 一阶谓词逻辑
predicate logic lock 谓词逻辑锁
The main contents of this paper as follows:(1)A method of representing spatial access control system, which is based on predicate logic was proposed.
本文主要内容如下:(1)提出了一种基于谓词逻辑的空间访问控制系统的描述方法。
参考来源 - 基于模型检测的空间访问控制系统规则验证In this paper, we propose some basic operations between semantic network and predicate logic, and the algorithm transforming representation of semantic network to expression of predicate logic.
文章首先提出从语义网络到谓词逻辑这两种形式进行转换的基本操作 ,并给出由语义网络表示转换成谓词逻辑形式表示的算法。
参考来源 - 由语义网络语言的知识表示到谓词逻辑的转换·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
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.
符号逻辑往往分为两个分支,命题逻辑和谓词逻辑。
应用推荐