1) mathematical logic thinking
数理逻辑思维
1.
This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.
数理逻辑思维方法在艺术设计中历来有广泛的运用,一般体现在比例、数列、尺度、模度等方面。
2) management logical thought
管理逻辑思维
1.
Modern management logical thought must has the following characteristics: general synthesize which assumes overall situation and makes overall consideration, specific identity which respects reality and takes a broad view to the future; active transform which carries favourable and .
因此 ,现代管理逻辑思维必然而且必须具有总揽全局、统筹兼顾的总体综合性 ,尊重现实、放眼未来的具体同一性 ,趋得避失、善进善退的能动转化性。
3) geographical logical thinking
地理逻辑思维
4) logic thinking
逻辑思维
1.
It discusses the necessity of applying creative thinking and three-stage model to product concept design;and puts forward the method and strategy in product concept design: combining logic thinking and non-logic thinking,combining divergence thinking and convergence thinking in different hierarchy.
介绍了思维、创造性思维、创造技法的各自概念和相互关系,论述了产品概念设计中应用创造性思维的必要性和三阶段模型;提出了在概念设计中将逻辑思维与非逻辑思维相统一、发散思维与聚合思维多层次相统合的方法和策略。
2.
This paper is to study the construction of Chinese characters by way of logic thinking.
本文是从逻辑思维的角度来探讨汉字的构造,对汉代许慎的“六书”说和现代文字学家唐兰先生的“三书”说这两种不同时代的文字学说进行了分析,认为汉字的基本构造方法应为“象形”、“形声”和“假借”。
3.
This paper,beginning with the relationship between logic and translation,discusses the relatedness between the logic thinking and the understanding of the original,the structural analysis,the correct expression and translation proofreading in the course of translation.
本文从逻辑与翻译的关系入手,解析了翻译过程中理解原文、分析结构、表达准确、检查译文与逻辑思维的密切关系。
5) logical thought
逻辑思维
1.
ObjectiveThe article makes analysis on the relative syndromes in the Treatise on Febrile Diseases with logical thought for correct differentiation of signs on the diseases simply stated and decoction and formula syndrome.
运用逻辑思维方法对《伤寒论》中的相关证作分析,以解决一些原文论述简单的病证或汤方证的正确辨证论治问题。
2.
For quite a long time,people haven t paid enough attention to the position and role of visual thought in scientific study,but visual thought,in the mind of the present author,is more fundamental than logical thought and they should be equally important in scientific research.
长期以来,人们对形象思维在科学研究中的地位和作用问题关注得不够深切,事实上形象思维比逻辑思维更为基本,在科学研究中它和逻辑思维同等重要。
3.
The courses that need diverse thought can make use of music to enlighten students and the courses that need logical thought can not use music in teaching.
需要发散思维的课程,可以音乐为媒介,进行渗透启迪;而需要逻辑思维较强的课程,则不宜采用背景音乐教学。
6) logical thinking
逻辑思维
1.
Functions of logical thinking in translation;
逻辑思维在翻译中的作用
2.
Creative thinking-dialectual unification of both logical and illogical thinking;
创新思维是逻辑思维与非逻辑思维的辩证统一
补充资料：数理逻辑
| 数理逻辑 mathematical logic 用数学方法研究符号化、形式化的逻辑演绎规律的数学分支。又称符号逻辑、数学逻辑，是古典逻辑的发展。 简史 古典逻辑又称形式逻辑，从亚里士多德的三段论式起已有2000多年的历史。古典逻辑分析语言所表达的逻辑思维形式。但人们的语言中常有含糊不清不易判别的语句引起歧义，甚至争论。17世纪德国哲学家、数学家G.W.莱布尼 兹提出用数学符号式的“通用语言”来进行思维演算，使人们能够证明思维的正确性，从而避免争论，这是数理逻辑最早的萌芽。从莱布尼兹以后，经过许多数学家、哲学家的不断努力，到19世纪初英国数学家G.布尔终于成功地构造了一种思维的代数，后来被称为布尔代数，初步实现了莱布尼兹的部分设想，又经过不少数学家的努力，布尔代数被发展为具有逻辑蕴涵式的命题演算，成为最简单的公理化的逻辑系统。命题演算的公理系统是一个完全的公理系统，即从公理出发推演出的都是恒真命题，而命题逻辑中任何一个恒真的命题都可以从公理出发推演出来。但命题逻辑的表现力不强，它只能分析简单命题的真假，不能分析命题中的主谓结构。与布尔同时代的英国数学家A.德·摩根，采用符号表示命题中的谓词，使数学中的“关系”，“函数”都可以在逻辑命题中出现，加强了逻辑的表现力。又经过G.弗雷格等数学家的改进，最终建立了公理化的谓词演算，成为数理逻辑的基础。 谓词演算 又称一阶逻辑。主要研究如何把数学中一些命题表示为逻辑公式，判明哪些公式是恒真式，哪些公式相互逻辑等价，还研究如何把一般的公式逻辑等价地化为标准形式。谓词演算的另一个重要内容是逻辑推演，即从一些公式出发演绎出另一些公式。用作出发点的公式叫假设式条件，演绎出的公式叫结论。公理化的谓词演算由语言、公式、公理、推演规则和定理构成。语言是一些基本的符号。由基本符号依一定规则归纳地定义出公式。选定的一些公式构成公理，从公理出发依推演规则推演出的命题叫定理。数理逻辑可以把语言，公式、推演都当作数学对象加以研究。这就使数学方法得以引进逻辑，也使逻辑方法可以用来研究数学中的问题，从而产生许多新的方法，得到不少新的结果。 数理逻辑与数学基础的关系 数理逻辑的发展与数学基础的研究有很大的关系。19世纪，对数学分析中实数系的研究吸引了许多数学家的注意，实数系的严格定义关系到整个数学的基础。19世纪70年代，G.康托尔建立起一整套集合论理论，使集合论可以研究无穷基数，序数的性质，实数系也可以用集合论的方法加以定义，这使人们欣喜地认为集合论可以作为数学的严格的基础。不幸的是1902年，年轻的哲学家B.A.W.罗素提出的罗素悖论动摇了集合论的基础。为了排除悖论，寻找严格的数学基础，数学家和逻辑学家做了大量的研究，展开了许多争论，形成了3个主要流派、以罗素为代表的逻辑主义学派，主张用逻辑推演出数学，罗素以分枝类型论试图排除悖论，但后来证明分枝类型论无法从根本上排除悖论，罗素的方法也会陷于矛盾。以L.E.J.布劳威尔为代表的直觉主义学派，认为悖论来源于排中律，即反证法，布劳威尔主张不用反证法，而完全用构造性证明来重建整个数学。直觉主义数学非常复杂，但取得了不少成就、以D.希尔伯特为代表的形式构造学派，主张捍卫排中律。他提出一整套的程序和限制，以求把数学的一些系统形式化，并在系统中严格地证明它的不矛盾性。然而1930年K.哥德尔用不可辩驳的严格证明推翻了希尔伯特的期望。哥德尔证明在一个较强的形式系统中，其不矛盾性不能在系统本身中得到证明。这就是有名的哥德尔不完备性定理。后来，哥德尔放宽了希尔伯特的限制，允许使用超限归纳法，证明了自然数系统的不矛盾性。这几个学派的争论促使数理逻辑迅速发展。除了命题演算、谓词演算，数理逻辑已有四个主要分支，即模型论、递归论、公理集合论和证明论。模型论用代数方法研究逻辑语法和语义的关系研究公理集的和谐性和完全性，也研究一些代数结构的模型论性质。递归论研究形式化的计算、可计算函数的判定、可计算函数的计算复杂性及不可解问题。公理集合论把集合论公理化，用公理对集合加以限制来避免悖论，公理集合论研究集合公理之间的和谐性和独立性，研究一些超穷基数之间的关系。证明论研究数学系统的不矛盾性证明，到现在，数学分析的不矛盾性证明仍然吸引逻辑学家的注意。数理逻辑的4个主要分支都已发展成为独立的学科，成为数学的分支。此外数理逻辑的一些新系统，如无穷长逻辑，高阶逻辑，附加量词逻辑，概率逻辑，拓扑逻辑等也迅速发展。一些非古典逻辑系统如模态逻辑、时态逻辑、问句逻辑也不断出现。现代数理逻辑的发展对哲学，数学，计算机科学，甚至对许多别的学科产生了深刻的影响。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条