网站首页  词典首页

请输入您要查询的英文单词:

 

单词 predicate logic
释义

predicate logic

美 
英 
  • un.谓词逻辑
  • 网络述词逻辑;述语逻辑;谓词演算
un.
1.
谓词逻辑

例句

释义:
1.
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支,命题逻辑和谓词逻辑。
blog.sina.com.cn
2.
Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
blog.sina.com.cn
3.
In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。
dictsearch.appspot.com
4.
I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic (like my self).
我相信对于学习布尔代数学和谓词逻辑的计算机科学学生(像我自己这样的)来说它是非常有用的。
osl.bsw.net.cn
5.
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑:也叫谓词演算,它研究简单命题的内部结构。
tiantian3519.blog.163.com
6.
They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.
它们对应一元谓词逻辑,而布尔代数对应于命题逻辑,而多元代数对应于一阶逻辑。
dictsearch.appspot.com
7.
The first level is the level of propositional logic, the second level is the level of predicate logic or logic of class.
第一个层次是命题逻辑的层次,第二个层次是谓词逻辑或类逻辑的层次。
www.ceps.com.tw
8.
By predicate logic, the solution is set up and the process of analysis is provided.
依据谓词逻辑规则建立解决方案,提供了求解的流程。
www.dictall.com
9.
Authors designed a kindred automatic reasoning model based on one-order predicate logic.
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。
ceaj.org
10.
The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds;
第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题;
www.fabiao.net
1.
Theory of quasi-truth degrees of formulas in two-valued predicate logic
一类二值谓词逻辑中公式的准真度理论
www.ilib.cn
2.
The research on transforming representation of semantic network to expression of predicate logic
由语义网络语言的知识表示到谓词逻辑的转换
www.ilib.cn
3.
Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas
模糊谓词逻辑公式的有限和可数解释真度理论
scholar.ilib.cn
4.
Study Predicate Logic Used in Design PLC Ladder Diagram
谓词逻辑在设计PLC梯形图中使用的研究
www.ilib.cn
5.
Application of Predicate Logic in Question Answering System
谓词逻辑在答疑系统中的应用
www.ilib.cn
6.
The Decidability of Proof Method in the Predicate Logic Inference
谓词逻辑推理中证明方法的判定
www.ilib.cn
7.
Resolution Method Using XML in First-order Predicate Logic
使用XML的一阶谓词逻辑归结原理
www.ilib.cn
8.
Method of resolution under predicate logic
谓词逻辑描述下的归结推理方法
www.ilib.cn
9.
Predicate Logic Reasoning and Validation Based on Computer
谓词逻辑推理与机器证明
www.ilib.cn
10.
Predicate logic of higher order
高阶谓词逻辑
www.sinobay.com
1.
On predicate Logic's Application in AI
谓词逻辑在人工智能中的应用
service.ilib.cn
随便看

 

英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/29 10:40:02