predicate calculus of the third order

Construction of predicate calculus finite set based on the requirement of management information ontology管理信息本体需求的谓词演算有限集构造wzU汉语字典

The safety of the system is analyzed with the predicate calculus.本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。wzU汉语字典

This is not expressible as a first-order predicate calculus property.这就是一个一阶谓词演算不可表述的属性。wzU汉语字典

Also, first-order predicate calculus isn't good enough anyway.同时，从各方面来说，一阶谓词演算都不是足够好。wzU汉语字典

This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。wzU汉语字典

A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.一个合法的谓词演算表达式，即谓词演算语法所允许的公式。wzU汉语字典

connective in predicate calculus谓词演算中的连接词wzU汉语字典

atomic formula in predicate calculus谓词演算中的原子公式wzU汉语字典

The Relative Truth Degrees og Predicate Formulas in the Finite Interpretation;有限解释下一阶谓词公式的相对真度wzU汉语字典

The atomic formula is called atom for short in predicate calculus.在谓词演算中,有时将原子公式简称为原子。wzU汉语字典

Construction of predicate calculus finite set based on the requirement of management information ontology管理信息本体需求的谓词演算有限集构造wzU汉语字典

Theory of Truth Degree Based on the Measurable Set Interpretation of First-order Fuzzy Predicate Logic Gormulas;一阶模糊谓词逻辑公式的可测集解释真度理论wzU汉语字典

The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence;一阶谓词逻辑在人工智能知识表示中的应用wzU汉语字典

A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic基于谓词μ演算和空间逻辑的模型检测算法研究wzU汉语字典

The term "Raba"means "roaming artist"."热巴":"热巴"一词，意为"流浪艺人"、也是人们对其表演形式的称谓。wzU汉语字典

A Higher-Order Potential Vorticity Inversion Algorithm and Its Application, PartⅠ: Potential Vorticity Inversion一类高阶位涡反演的算法及其应用Ⅰ:位涡反演wzU汉语字典

A predication consists of argument(s) and predicate.一个述谓由一个或数个论元和一个谓词组成。wzU汉语字典

Computation method of spatial topological relation predicates with multiple hierarchies多层次空间拓扑关系谓词的计算方法wzU汉语字典

Algorithm of predicate abstraction for intermediate form of Java program针对Java语言中间形式的谓词抽象算法wzU汉语字典

Hilbert s Type Intuitionistic Systems of First Order Sentential Calculus;一阶命题演算的希尔伯特型直觉主义系统wzU汉语字典