(计算机科学与技术方法论 .docVIP

计算机科学与技术方法论* 董荣胜 古天龙 蔡国永 谢春光 (桂林电子工业学院计算机系 桂林 541004) METHODOLOGY OF COMPUTER SCIENCE AND TECHNOLOGY DONG Rong-Sheng ＧU Tian-Long CAI Gou-Yong XIE Chun-Guang (Department of Computer Science and Technology, Guilin institute of electronic technology, Guilin 541004) 摘 要 本文介绍了“Computing as a discipline”和“Computing Curricula 1991”报告的重要内容，指出了它们对计算机科学与技术方法论的重要贡献。在此基础上，我们以一般科学技术方法论为指导，给出了计算机科学与技术方法论的定义，阐述了计算机科学与技术方法论中的抽象、理论和设计三个学科形态、核心概念、根本问题、数学方法和系统方法的基本内容，指出了计算机科学与技术方法论是计算认知领域的一个理论体系的思想。 关键词 方法论 学科形态 核心概念 根本问题 数学方法 系统方法 Abstract In this paper, two documents of “Computing as a discipline” and “Computing Curricula 1991” are briefly introduced, and their main contributions to the methodology of computer science and technology are pointed out. Then based on the general methodology of science and technology, the definition of computer science and technology is given, and its three paradigms (abstraction, theory, design), fundamental problem, core concept, mathematical methods and system approaches are presented, Finally, we conclude that the methodology of computer science and technology is a new theory in the computing cognition field. Key words methodology, paradigms, fundamental problem, core concept, mathematical method, systematic approach 1 引 言 今天，当我们步入新世纪的时候，计算(Computing)技术作为现代技术的标志，已成为世界许多经济增长的主要动力。计算领域也已成为一个极其活跃的领域，计算学科正以令人惊异的速度发展，并大大延伸到传统的计算机科学的边界之外，成为一门范围极为宽广的学科。如何理解这个学科，引发了长期以来激烈的争论。 为了解决这类争论，学术界进行了大量的工作。1984年7月，美国计算机科学与工程博士单位评审部的领导们，在犹他州召开的会议上对计算教学问题进行了讨论，表面上看这类问题是关于计算教学问题，实际上是关于计算学科的认知问题。这一讨论以及其他类似讨论推动了ACM和IEEE/CS联手组成攻关组并用新的思维方式来理解计算学科。经过近5年的工作，ACM攻关组提交了“Computing as a discipline”的报告，该报告的主要内容刊登在1989年1月的《Communications of the ACM》杂志上[1]。 ACM攻关组提交的报告得到了ACM教育委员会的认可并批准发行，该报告的重要贡献不仅在于它第一次给出了计算学科一个透彻的定义，回答了计算学科中长期以来一直争论的一些问题，更重要的在于，它找到了一个思考我们学科的“知识框架”(Intellectual framework)，而非对策；一个指导方针，而非(具体)指示。对“知识框架”进行研究的思想方法就是报告中所指的“新的思想方法”。这个“新的思想方法”是对计算领域几十年来的概括和总结。从某种意义上说，该报告是计算领域认知过程中的一个里程碑，它为建立计算认知领域的理论体系奠定了基础。该报告所提出的“新的思想方法”其实质就是计