predicate logic的例句大全

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

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

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

Web database and knowledge base standard of mineral processing were built, and traditional rule, frame, semantic model and predicate logic knowledge were characterized by relational data pattern.

构造了选矿基础Web数据库，建立了统一的知识库标准，基于关系模式表征了传统的规则、框架、语义网络、谓词逻辑等知识；

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

Artificial intelligence systems have been reviewed, which include problem-solvers, expanded predicate logic, expert systems and intelligent CAD systems in FGCS. This paper shows that introduction of artificial intelligence in CAD is an important development tendency.

本文概述了CAD中的人工智能系统，包括早期的问题求解程序、扩展谓词逻辑的形式系统、专家系统以及第五代计算机的智能CAD系统，表明在CAD中引进人工智能技术是其重要发展趋势。

The Decidability of Proof Method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas

模糊谓词逻辑公式的有限和可数解释真度理论

Discussion about the transformation research from extensional description logics ALC~+ to predicate logic

扩展描述罗辑ALC~+到谓词逻辑的转换研究初探

in two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。

Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic

基于条件谓词逻辑的可信计算形式化分析

it takes a plural predicate verb. predicate logic with equality

但要使用复数谓语动词。带同异性的谓词逻辑

they are to monadic predicate logic what boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

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

at the first point of the logic of the predicate, there is established the opposition between contraries and contradictories.

在述词的逻辑的第一阶段，就存在着相反与矛盾的对立。

This paper proposes the application of VHDL language in testifying Predicate_Logic whose universe D is { 0,1}, and exemplifies in Active-HDL.

提出了以VHDL语言为手段，介绍了针对个体域D为{0,1}的谓词逻辑定理证明的实现方法，并在Active-HDL环境中举例说明。

Clearing up Distribution of Logic Predicate in Positive Judgment; The court granted the company a two weeks stay of execution.

法院准予公司有两周的延缓执行判决的时间。

By means of stretching back the predicate judgment and comparing with the traditional formal logic, Husserl showed us a more extensive field of pre-predicative experience.

通过将谓词判断的明见性追溯到前谓词的经验领域，胡塞尔向我们展现了一个比传统形式逻辑范围更加广泛的前谓词经验的领域。

a model checking algorithm for predicate mu calculus and spatial logic

基于谓词μ演算和空间逻辑的模型检测算法研究

This paper deals with the background of the celebrated Goodman's new riddle of induction and the logic and semantics of predicate grue. A Venn's diagram of predicate grue is presented.

本文回顾了古德曼的新归纳之谜的背景，分析了格路谓词的逻辑与语义特征。

The element's index is used in the logic of the predicate function.

将在谓词函数的逻辑中使用元素的索引.