《计算机导论》第3章 计算思维.pptx

《计算机导论——计算思维和应用技术》3.1.1 科学思维的形式3.1.2 计算思维的特征3.1.3 问题抽象与分解3.1.4 计算机解题方法3.1.5 解题模型的构建[增强版] 计算机3.1.1 科学思维的形式理论科学、实验科学和计算科学是科学发现的三大支柱。1、理论思维理论思维以推理和演绎为特征，以数学学科为代表。公理系统三个条件：无矛盾。独立性。完备性。公理系统要尽可能简单化。3.1.1 科学思维的形式【案例】欧几里得几何公理。任意两个点可以通过一条直线连接。任意线段能无限延伸成一条直线。给定任意线段，可以以其一个端点作为圆心，该线段作为半径作一个圆。所有直角都全等。若一直线与其他两直线相交，以至该直线一侧的两内角之和小于两直角，则那两直线延伸足够长后必相交于该侧。3.1.1 科学思维的形式2、实验思维实验思维以观察和总结自然规律为特征，以物理学科为代表。实验思维步骤：（1）从现象获得直观认识。（2）用数学方法导出数量关系。（3）通过实验证实数量关系。实验思维最重要的是建立理想的实验环境。3.1.1 科学思维的形式3、计算思维计算思维以设计和构造为特征，以计算机学科为代表。计算思维的根本问题是什么能被有效的自动进行。为了机器的自动化，需要在抽象过程中进行符号转换和建立计算模型。计算思维需要考虑问题处理的边界，以及可能产生的错误。3.1.1 科学思维的形式【扩展】学习方法思维导图。《计算机导论——计算思维和应用技术》3.1.1 科学思维的形式3.1.2 计算思维的特征3.1.3 问题抽象与分解3.1.4 计算机解题方法3.1.5 解题模型的构建 计算机3.1.2 计算思维的特征1、计算工具与思维方式的相互影响家迪科斯彻：我们使用的工具影响着我们的思维方式和思维习惯，从而也将深刻地影响着我们的思维能力。计算的发展影响着人类的思维方式。如，计算生物学改变了生物学家的思维方式；如，计算机博弈论改变着经济学家的思维方式；如，计算社会科学改变着社会学家的思维方式；如，量子计算改变着物理学家的思维方式。计算思维是各个专业求解问题的基本途径。3.1.2 计算思维的特征2、计算思维的定义“计算思维”是美国卡内基梅隆大学周以真教授提出的一种理论。周以真认为：计算思维是运用计算机科学的基础概念去求解问题、设计系统和理解人类行为，它涵盖了计算机科学的一系列思维活动。3.1.2 计算思维的特征国际教育技术协会对计算思维的可操作性定义。计算思维是问题解决的过程，该过程包括以下特点：（1）制定问题，并利用计算机和其他工具来解决该问题；（2）要符合逻辑地组织和分析数据；（3）通过抽象（如模型、仿真等）再现数据；（4）通过算法思想（一系列有序的步骤）支持自动化的解决方案；（5）分析可能的解决方案，找到最有效的方案；（6）将该问题的求解过程推广并移植到更广泛的问题中。3.1.2 计算思维的特征3、计算思维的特征计算思维是每个大学生必须掌握的基本技能。计算思维是人的，不是计算机的思维方式。计算思维是人类求解问题的思维方法，而不是要使人类像计算机那样思考。计算思维是数学思维和工程思维的相互融合。计算机科学本质上来源于数学思维，但是受计算设备的限制，迫使计算机科学家必须进行工程思考，不能只是数学思考。3.1.2 计算思维的特征计算思维建立在计算过程的能力和限制之上。最根本的问题是：什么是可计算的？解决这个问题有多么困难？什么是最佳的解决方法？一个近似解是否就够了吗？是否允许漏报和误报？计算思维是通过简化、转换和仿真等方法，把一个看起来困难的问题，重新阐释成一个我们知道怎样解决的问题。计算思维是选择合适的方式对问题进行建模，使它易于处理。3.1.2 计算思维的特征【扩展】沃尔夫勒姆（Wolfram）在《一种新科学》书中指出：自然界的本质是计算，但计算的本质必须用实验探索。世界的底层规则是简单的、决定性的，但是这些规则生成的人类行为却极端复杂。我认为宇宙像pi一样，虽然无穷无尽但可以计算到任意精度。审视一下新出现的关于自然界的模型，我们会看到，基于程序的发现，将逐渐取代基于方程的发现。如果我们真的建立了宇宙的模型，一切都可计算，那么全部物理问题就还原成了数学。3.1.2 计算思维的特征【扩展】美国计算机协会(ACM)和美国电气和电子工程学会计算机分会(IEEE-CS)发布了“计算学科2001教程(CC2001)”，提出了以下概念和方法。计算学科的12个核心概念：绑定、大问题的复杂性、概念和形式模型、一致性和完备性、效率、演化、抽象层次、按空间排序、按时间排序、重用、安全性、折衷、结论 。计算学科解决问题的三个过程： （1）理论（数学） （2）抽象（模型） （3）设计（工程）计算学科的目标：怎样有效地进行自动计