| 单词 | modern logic | ||||
| 释义 | modern logic
例句释义: 现代逻辑,现代逻辑系统 1. In such a program, whose motivation is purely philosophical, techniques of modern logic would have to be exploited to the utmost. 离开了对现代逻辑技术的充分挖掘和利用，要实现这个出自纯粹哲学动机的方案是不可能的。 blog.sina.com.cn 2. Many of his constructions are complex and ingenious and few of them could have been achieved without high proficiency in modern logic. 他的许多构造既复杂又巧妙，如果没有对现代逻辑的娴熟的运用，这些构造基本上是作不出来的。 blog.sina.com.cn 3. Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science. 现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。 blog.sina.com.cn 4. Modern logic is to achieve a'logical truth'by pure formalization and consistent completeness of the deduction rules. 现代逻辑通过“纯形式化”和“一致性、完备性”的推演规则，实现了“逻辑真”。 www.zidir.com 5. The agreement could be served as the approval on the position of modern logic in the field. 这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。 www.dictall.com 6. These applications of modern logic also made the theory of logic more progress conversely. 反过来，这些应用又刺激了逻辑理论本身取得更多的进步。 www.ceps.com.tw 7. There is not essential difference between modern logic and traditional logic. The difference just is that the extent is not same. 现代逻辑和传统逻辑的研究，只是程度不同，精粗不同，广狭不同，并无基本性质的差别。 www.fabiao.net 8. Summary of the National Symposium on Modern Logic, Philosophical Trends, No. 10, 2002. 现代逻辑会议综述，《哲学动态》2002年第10期。 baike.baidu.com 9. Logical truth not only promoted the development of logic, but also improved that modern logic continuously. “逻辑真”不仅推动了逻辑的发展，也使现代逻辑得到了不断的完善。 www.zidir.com 10. The Comparison Between the Traditional Logic and Modern Logic in Quantifier 传统逻辑与现代逻辑量词比较 service.ilib.cn 1. Logical truth; Logical laws; Syllogism; Modern logic; 逻辑真理；逻辑规律；三段论；现代逻辑； www.zidir.com 2. The Penetrating Influence of Modern Logic Upon Literature 现代逻辑对文学的渗透 www.ilib.cn 3. On Normativity of Modern Logic and Its Problems 论现代逻辑的规范性及其问题 www.ilib.cn 4. Divergent Consideration of Modern Logic 现代逻辑学科的发散性思考 www.ichacha.net 5. Logicians'responsibility: the enlightenment of modern logic teaching in China 逻辑学人的责任：中国近代逻辑教学的启示 service.ilib.cn 6. On the Application of Modern Logic 论现代逻辑的应用 www.ilib.cn 7. Design of Modern Logic System 现代逻辑设计 www.xxgcxy.com 8. The Influence of Language Stratification Theory on the Development of Modern Logic and Sciences 语言层次理论与现代逻辑和科学的发展 service.ilib.cn |
||||
| 随便看 |
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。