1) logic connective
逻辑联结词
1.
Based on the idea of "analyze stage by stage,from coarse to minute" in software engineering,the basic models of processing all kinds of logic connectives are defined.
借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。
2) logical join
逻辑联结
3) logical connectives
逻辑关联词
4) logical connection; logical join; logical link
逻辑连接<联结>
5) predicate logic
谓词逻辑
1.
Representation of design patterns based on predicate logic;
基于谓词逻辑的设计模式描述方法
2.
Theory of quasi-truth degrees of formulas in two-valued predicate logic;
一类二值谓词逻辑中公式的准真度理论
3.
By predicate logic,the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
6) predication logic
谓词逻辑
1.
From point of view of data mining in this paper,definition of background knowledge is given in narrow sense,and the technology of background knowledge representation is presented by using first order predication logic,based on deeply analyzing meaning and function of background knowledge in data mining.
该文从数据挖掘角度出发,在详细分析了背景知识在数据挖掘中意义和作用的基础上,狭义地给出了背景知识的定义,并提出了基于一阶谓词逻辑的背景知识技术。
2.
At first,this paper introduces presenting knowledge based on semantic network,and transfers expression knowledge of SNetL into the form of predication logic for inference.
介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。
3.
Firstly, This paper analyzes deadlock with predication logic according to request models, and then gives a general expression of deadlock; secondly, it describes the deadlock with temporal logic.
从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中；然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁，便于程序的安全性验证 最后，把这些方法用于 Ａｄａ 程序的验证系统
补充资料：逻辑联结词
在复合判断中把作为它的构成要素的某个或某些判断联结起来的概念。常用的逻辑联结词是：负判断中的“并非”，联言判断中的“并且”，假言判断中的“如果……那么……”，选言判断中的“或者……或者……”。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条