第1章-2-授课PPT-20170227_原创精品文档.pptVIP

第1章 绪论 计算学科的定义 计算学科的根本问题 计算学科认知模型——计算学科二维定义矩阵 从计算机科学到计算思维 计算学科的定义 报告《计算作为一门学科》对计算学科作了如下定义： 计算学科是对描述和变换信息的算法过程进行的系统的研究，包括理论、分析、设计、效率、实现和应用等。 计算学科的研究包括从算法与可计算性的研究到硬件和软件的实际实现问题的研究。 其不但包括从总体上对算法和信息处理过程进行研究，也包括对满足给定规格要求的有效并且可靠的软硬件的设计和实现。 计算机科学与技术的研究范畴 计算机理论：离散数学、算法分析理论、形式语言与自动机理论、形式语义学等。 计算机硬件：元器件与存储介质、微电子技术、计算机组成原理、微机原理与接口技术、计算机体系结构等。 计算机软件：程序设计语言、数据结构、程序设计、编译原理、操作系统、数据库原理、软件工程、程序设计方法学等。 计算机网络：网络结构、数据通信与网络协议、网络服务、网络安全等。 计算机应用：数值计算（科学计算）、图形学与图像处理、多媒体、计算可视化与虚拟现实、信息系统、办公自动化、计算机辅助设计（测试、制造、教学等）、计算机仿真、人工智能等。 计算学科的根本问题 计算学科的根本问题是：什么能被（有效地）自动进行。“自动进行”是被构造出来的，构造性是计算学科的基本特征，递归和迭代是最基本的两种构造性方法。 计算学科与数学的不同： 数学家强调“是什么(What is it)”的问题，重点放在数学本身的性质上，数学的灵魂是定义，定理和证明是其精髓。计算机科学家则不同，他们不仅要知道“是什么”的问题，更要解决“怎么做（How to do it）”的问题，也即“能行性”问题。比如，平方根的求解算法。 计算学科的认知模型——计算学科二维定义矩阵 计算学科二维定义矩阵（1） 定义矩阵的纵向维是“学科分支领域”。 将整个学科划分为若干分支领域有助于我们对学科的理解。 这些学科分支领域将随着计算技术的发展而变化。 计算学科二维定义矩阵（2） 定义矩阵的横向维是“3个过程”。 也称为3个学科形态，即：抽象、理论和设计。 这3个过程反映了计算领域中人们的认识是从感性认识（抽象）到理性认识（理论），再由理性认识（理论）回到实践（设计）的科学思维方法。 抽象、理论和设计3个过程之间相互作用，推动了计算学科及其分支领域的发展。 计算学科的认知模型——计算学科二维定义矩阵 该二维定义矩阵是对计算学科的一个高度概括。 因此，我们将学科的认知问题具体为学科二维定义矩阵的认知问题，从而使学科的认知具体化。 从计算机科学到计算思维 科学思维主要分三大类： 1.理论思维：以数学为基础：理论源于数学，理论思维支撑着所有的学科领域。正如数学一样，定义是理论思维的灵魂，定理和证明则是它的精髓。公理化方法是最重要的理论思维方法。 2.实验思维：以物理等学科为基础：实验思维的先驱应当首推意大利著名的物理学家、天文学家和数学家伽利略，他开创了以实验为基础具有严密逻辑理论体系的近代科学，被人们誉为“近代科学之父”。 3.计算思维：以计算机科学为基础：计算思维又叫构造性思维，以设计与构造为特征。具体而言，可以说，计算思维是通过约简、嵌入、转化和仿真等方法，把一个看来困难的问题重新阐释成一个我们知道问题怎样解决的思维方法；计算思维又可以认为是一种递归思维，是一种并行思维，是一种…… 计算思维 计算思维的定义：计算思维是运用计算机科学的基础概念进行问题求解，系统设计，以及人类行为理解的涵盖了计算机科学之广度的一系列思维活动。 　　　　　　　　　　摘自：Jeannette M. Wing. Computational Thinking. Communications of the ACM, 2006, 49（3） 计算思维的本质（两个“A”） 抽象（Abstraction） 自动化（Automation） 1983年，J M. Wing(周以真)在西安学习中国剑舞（Chinese-American student tour group ）