阶逻辑的英文

order logic

• 阶:    steps; stairs
• 逻辑:    logic
• n阶逻辑:    n order logic

例句与用法

更多例句：  下一页

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
   高阶逻辑