计算思维与计算机方法论 --.pptVIP

计算思维与计算机方法论  ---第四届“大学计算机课程报告”论坛 董荣胜 桂林电子科技大学 2008年10月19日 武汉 1 计算思维是什么？ 本文所指的计算思维，主要指2006年3月，美国卡内基·梅隆大学计算机科学系主任周以真（Jeannette M. Wing）教授在美国计算机权威期刊《Communications of the ACM》杂志上给出，并定义的计算思维（Computational Thinking）。 周教授认为：计算思维是运用计算机科学的基础概念进行问题求解、系统设计、以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。 为便于理解和应用，本文将定义中的“基础概念”更换为更为具体的“思想与方法”，这样，计算思维又可以更清晰地定义为：运用计算机科学的思想与方法进行问题求解、系统设计，以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。 以上是关于计算思维的一个总定义，周教授为了让人们更易于理解，又将它更进一步地定义为：通过约简、嵌入、转化和仿真等方法，把一个看来困难的问题重新阐释成一个我们知道问题怎样解决的方法；是一种递归思维，是一种并行处理，是一种把代码译成数据又能把数据译成代码，是一种多维分析推广的类型检查方法；是一种采用抽象和分解来控制庞杂的任务或进行巨大复杂系统设计的方法，是基于关注点分离的方法（SoC方法）； 是一种选择合适的方式去陈述一个问题，或对一个问题的相关方面建模使其易于处理的思维方法；是按照预防、保护及通过冗余、容错、纠错的方式，并从最坏情况进行系统恢复的一种思维方法；是利用启发式推理寻求解答，也即在不确定情况下的规划、学习和调度的思维方法；是利用海量数据来加快计算，在时间和空间之间，在处理能力和存储容量之间进行折衷的思维方法。 计算思维吸取了问题解决所采用的一般数学思维方法，现实世界中巨大复杂系统的设计与评估的一般工程思维方法，以及复杂性、智能、心理、人类行为的理解等的一般科学思维方法。 计算思维建立在计算过程的能力和限制之上，由人由机器执行。计算方法和模型使我们敢于去处理那些原本无法由个人独立完成的问题求解和系统设计。 计算思维最根本的内容，即其本质（Essence）是抽象（Abstraction）和自动化（Automation）。 计算思维中的抽象完全超越物理的时空观，并完全用符号来表示，其中，数字抽象只是一类特例。与数学和物理科学相比，计算思维中的抽象显得更为丰富，也更为复杂。数学抽象的最大特点是抛开现实事物的物理、化学和生物学等特性，而仅保留其量的关系和空间的形式，而计算思维中的抽象却不仅仅如此。 堆栈（Stack）是计算学科（Computing discipline，计算机科学、计算机工程、软件工程、信息系统、信息技术等相关专业的总称）中常见的一种抽象数据类型，这种数据类型就不可能像数学中的整数那样进行简单的相“加”。再比如，算法也是一种抽象，我们也不能将两个算法放在一起来现实一个并行算法。 同样，程序也是一种抽象，这种抽象也不能随意“组合”。不仅如此，计算思维中的抽象还与其在现实世界中的最终实施有关。因此，就不得不考虑问题处理的边界，以及可能产生的错误。在程序的运行中，如果磁盘满、服务没有响应、类型检验错误，甚至出现危及人的生命时，还要知道如何进行处理。 抽象层次是计算思维中的一个重要概念，它使我们可以根据不同的抽象层次，进而有选择的忽视某些细节，最终控制系统的复杂性；在分析问题时，计算思维要求我们将注意力集中在感兴趣的抽象层次，或其上下层；我们还应当了解各抽象层次之间的关系。 计算思维中的抽象最终是要能够机械的一步步自动执行。为了确保机械的自动化，就需要在抽象的过程中进行精确和严格的符号标记和建模，同时也要求计算机系统或软件系统生产厂家能够向公众提供各种不同抽象层次之间的翻译工具。 周教授对计算思维的特征进行了总结，给出了计算思维的以下六个特征： （1）概念化，不是程序化 计算机科学不是计算机编程。像计算机科学家那样去思维意味着远远不仅限于能为计算机编程，还要求能够在抽象的多个层次上思维。为便于理解周教授的意思，可以更进一步地说，计算机科学不只是关于计算机，就像音乐产业不只是关于麦克风一样。 （2）根本的，不是刻板的技能 根本技能是每一个人为了在现代社会中发挥职能所必须掌握的。刻板技能意味着机械的重复。具有讽刺意味的是，只有当计算机