Mobile
Log In Sign Up
Home > english-chinese > "阶逻辑" in Chinese

Chinese 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:
"阶理想" Chinese translation, "阶链" Chinese translation, "阶零点" Chinese translation, "阶柳庭花" Chinese translation, "阶路响应时间试验" Chinese translation, "阶码范围" Chinese translation, "阶码上溢" Chinese translation, "阶码太多" Chinese translation, "阶码下溢" Chinese translation, "阶码溢出" Chinese translation