... SL IN Service Logic 智能网业务逻辑 In Modern Logic 对现代逻辑 error in design logic 设计逻辑有错 ...
基于1个网页-相关网页
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
The differentiation between metalanguage and obj ect language in modern logic will set linguistics study at a new Angle.
现代逻辑学对象语言利元语言区分给语言学研究开辟了一个新的视角。
Many of his constructions are complex and ingenious and few of them could have been achieved without high proficiency in modern logic.
他的许多构造既复杂又巧妙，如果没有对现代逻辑的娴熟的运用，这些构造基本上是作不出来的。
应用推荐