逻辑学的旧称 ligic
计算机科学中的逻辑学 Logic in Computer Science
逻辑的逻辑学上的 logical
形而上学的逻辑基础 The Logical Basis of Metaphysics
逻辑数学的 [数] logico-mathematical
计算语言学的逻辑问题 Logical Aspects of Computational Linguistics
数学的逻辑 The logic of mathematics
化学合成的逻辑学 The Logic of Chemical Synthesis
在计算机科学的逻辑 LICS
苏格拉底奠定了逻辑学的基础。
逻辑学的职责在于考察思维规定把握真理的能力和限度。
We may also express the problem of logic by saying that it examines the forms of thought touching their capability to hold truth.
自古希腊以来，追求真理就一直是逻辑学的一个传统目标。
Since ancient Greece the truth of Searching always was a traditional goal in logic.
应用推荐