您要查找的是不是：
- predicate logic language 谓词逻辑语言
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而 多元代数 对应于一阶逻辑。
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 给出了一种应用于决策支持系统，基于一阶谓词逻辑的模型表示方法，并分析了此种表示方法的实用性和推理机制.
- As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. 正如其全称所示：如此设计，旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- This paper introduces the temporal logic language XYZ/E,and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram. 本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。
- Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E. 基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。
- Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic. 分析了现有可信移动平台安全引导过程安全漏洞，提出了改进的安全引导过程，并通过谓词逻辑对改进的引导过程进行了正确性验证。
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- Protocol designers describe the protocol goals using logic language,then iteratively choose synthetic rules to generate sub-goals which constitute a non-repudiation protocol. 协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可否认协议。
- Method of resolution under predicate logic 谓词逻辑描述下的归结推理方法
- This paper at first describes a decision logic language and granular computing using trade stock information table,then the principle of intelligent data analysis is discussed,an exa. 文章首先通过行业股信息表描述决策逻辑语言及粒子计算,然后讨论了智能数据分析的原理,同时给出具体实例并进行分析。
- First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
- Language teaching is both a science and art. 语文教学既是一门科学又是一种艺术。
- The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。
- Can we predicate of a dog that it has a soul? 关於狗，我们能断定它有灵魂吗？
- Abstract: Because of its concise and skilled logical language, Ticino school becomes the model combining basic principles of modern architecture with local culture. 文摘:瑞士的提契诺学派以他们精练而娴熟的逻辑语言成为现代建筑的基本原理与地方文化结合的典范。
- Precisely because of this structural simplicity of Chinese, American anthropologist and linguist Edward Sapir described Chinese as a “soberly logical” language. 也许正因为汉语这种结构上的简洁性才使著名的美国人类学暨语言学家爱得华萨皮尔将汉语描绘为一种有着“合理的逻辑性”的语言。
