您要查找的是不是:
- generalized predicate logic 广义谓词逻辑
- 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. 它们对应一元谓词逻辑,而布尔代数对应于命题逻辑,而 多元代数 对应于一阶逻辑。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。
- 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. 给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制.
- 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. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- 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. 正如其全称所示:如此设计,旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- 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. 分析了现有可信移动平台安全引导过程安全漏洞,提出了改进的安全引导过程,并通过谓词逻辑对改进的引导过程进行了正确性验证。
- Method of resolution under predicate logic 谓词逻辑描述下的归结推理方法
- First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑
- Finally, the FindLastIndex(Int32, Int32, Generic Predicate) is used to search the range of three elements list beginning at position 4 and working backward (that is, elements 4, 3, and 2). 最后,该示例使用FindLastIndex(Int32,Int32,泛型Predicate)搜索列表中从位置4开始的三个元素的范围,执行反向搜索(即按顺序搜索元素4、3、2)。
- Finally, the FindLastIndex(Int32, Int32, Generic Predicate) overload is used to search the range of three elements list beginning at position 4 and working backward (that is, elements 4, 3, and 2). 最后,该示例使用FindLastIndex(Int32,Int32,泛型Predicate)重载搜索列表中从位置4开始的三个元素的范围,执行反向搜索(即按顺序搜索元素4、3、2)。
- 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? 关於狗,我们能断定它有灵魂吗?
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Their common ground is that they regard formal Logic as predicative Logic, and attempt to lay a foundation for it with a pre-predicative, philosophical Logic. 他们的共同点在于:把形式逻辑看作陈述逻辑;并试图用前谓词判断的哲学逻辑学来为它奠基.
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一种基于一阶谓词逻辑的模型表示方法
- Use of this drug is now fairly generalized. 这种药现在用得相当普遍。
- Study Predicate Logic Used in Design PLC Ladder Diagram 谓词逻辑在设计PLC梯形图中使用的研究
- Generalized Predicative Control in Flue Temperature 立火道温度的广义预测控制