English translation for "阶逻辑"

order logic

Related Translations:

阶:  名词1.(台阶) steps; stairs 短语和例子石阶 stone stairs; 台阶 a flight of steps2.(等级) rank 短语和例子军阶 military rank3.[医学] (耳蜗的三个螺旋管的任一个) scala 短语和例子中阶 scala media4.[数学] order 短语和例子非整数阶 non-integral order;

逻辑:  logic 短语和例子有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of log

Example Sentences:

	1.	An algebraic proof of completeness theorem of first - order logic 一阶逻辑完备性定理的代数证明
	2.	Generating sat instances from first - order formulas 由一阶逻辑公式得到命题逻辑可满足性问题实例
	3.	An axiomatics for first - order logic 经典一阶逻辑的希尔伯特型系统
	4.	Proving several theorems in first order logic based on back - and - forth method 向前向后法证明一阶逻辑的几个定理
	5.	Second - order logic 高阶逻辑
	6.	First - order logic 二阶逻辑
	7.	It may be said that the way by which for explaining existential issue is preferably successful 可以说，利用一阶逻辑解释存在问题的方法是比较成功的。
	8.	R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001 陈慕泽余俊伟：数理逻辑基础? ?一阶逻辑与一阶理论，中国人民大学出版社2003 。
	9.	First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp ) 基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计( ilp ) 。
	10.	The aim we establish the logic frame bofl ( boolean operator fuzzy logic ) is to solve the innate limitation of the first - order logic 布尔算子模糊逻辑(简称bofl )就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。

Similar Words：

"阶理想" English translation, "阶链" English translation, "阶零点" English translation, "阶柳庭花" English translation, "阶路响应时间试验" English translation, "阶码范围" English translation, "阶码上溢" English translation, "阶码太多" English translation, "阶码下溢" English translation, "阶码溢出" English translation