计算机科学导论——基于计算思维的思想与方法（第4版） 课件【ch03】计算思维及其作用体现.pptx

计算机科学导论基于计算思维的思想与方法计算思维及其作用体现第三章新工科建设之路·计算机类系列教材 01计算思维及其本质特性 计算思维及其本质特性011.思维的基本类型(1)理性思维(Rational Thinking) ：是指在直观感性的基础上，经过界定概念、客观推理、科学判断后形成的正确反映客观世界的本质和规律的认识过程。(2)抽象思维(Abstract Thinking) ：也称为逻辑思维，是指人类特有的一种思维方式，是利用逻辑工具对思维内容进行抽象的思维活动。(3)形象思维(Vivid Thinking) ：是指综合一切可以利用的素材并加以整理，构筑成一门形象思维的学问。形象思维又称为直觉思维，分为直观动作思维和表象思维两种。一、人类思维的类别 计算思维及其本质特性011.思维的基本类型(4)灵感思维(Inspiration Thinking) ：也称为创造性思维，是指在科学研究中不受或者较少受传统思维和范式的束缚，超越常规、构筑新意、独树一帜、捕捉灵感或相信直觉，用于实现科学研究突破的一种思维方式。(5)系统思维(System Thinking) ：是指考虑到客体联系的普遍性和整体性，认识主体在认识客体的过程中，将客体视为一个相互联系的系统，以系统的观点来考察研究客体，并主要从系统的各要素之间的联系、系统与环境的相互作用中，综合地考察客体的认识心理过程。一、人类思维的类别 计算思维及其本质特性012.思维的基本特征人类思维是在实践过程中，特别是在表象的基础上，借助语言以知识为媒体来实现的活动。正是基于这种表象和概念，使得人类思维具有如下特征。(1)概括性特征(2)间接性特征(3)能动性特征一、人类思维的类别 计算思维及其本质特性013.科学思维科学思维之所以有多种不同的描述，是因为科学思维具有多种类型。如果着眼于科学思维的具体手段及其科学求解功能，那么科学思维可分为以下4种。(1)发散求解思维(2)逻辑解析思维(3)哲理思辨思维(4)理论建构与评价思维：一、人类思维的类别 计算思维及其本质特性013.科学思维如果从人类认识世界和改造世界的思维方式出发，科学思维又可分为理论思维、实证思维和计算思维，这三种思维被称为“科学发现的三大支柱”，对人类进步和文明传承具有巨大的贡献。一、人类思维的类别 计算思维及其本质特性01一、人类思维的类别4.思维方式与科学方法的关系(1)逻辑思维对应理论科学，以推理和演绎为特征：逻辑思维和实证思维的对应关系是最早明确和建立的。(2)实证思维对应实验科学，以观察和归纳自然规律为特征：实证思维起源于物理学的研究。(3)计算思维对应计算科学，以抽象化和自动化( 或以设计和构造)为特征：计算思维是与人类思维活动同步发展的思维模式，是人类思维的重要组成部分。 计算思维及其本质特性01二、计算思维的概念1.计算思维的形成人类对自然的认识和理解经历了经验的、理论的和计算的三个阶段，但不论哪个阶段，人类认识、理解甚至改造自然所必备的能力是由解决问题的思维方式、技术手段、科学方法所决定的并与社会环境密切相关。 计算思维及其本质特性01二、计算思维的概念2.计算思维的定义计算思维是运用计篡机科学的基础概念进行问题求解、系统设计以及人类行为理解等涵盖计算机科学之广度的一系列思维活动。对于计算思维的研究和探索，可概括为以下3方面。(1)问题求解中的计算思维(2)系统设计中的计算思维(3)人类行为理解中的计算思维： 计算思维及其本质特性01三、计算思维的本质思维过程通常按以下步骤进行。(1)分析问题：在求解问题时，首先是分析问题，理解求解问题的目的，建立正确的数据模型，并确定利用计算机求解时需要提供哪些输入信息，需要输出哪些信息等。(2)制订计划：根据问题性质，选择适合的算法，制订求解的可行性方案。在此过程中，要考虑如何充分发挥计算机高速运算和计算机按照程序自动执行的优势。(3)执行计划：计算机按照程序步骤和所提供的参数(输入的数据)进行计算，然后输出结果。(4)检验结果：检验和分析程序运行结果是否正确，如何改进和提高。 计算思维及其本质特性01四、计算思维的特征1.计算思维的概念特性计算思维是人类的基本思维方式，从方法论的角度讲，计算思维方式体现出7个概念特性。(1)计算思维是人的思维、不是计算机的思维(2)计算思维是概念化思维，不是程序化的思维(3)计算思维是数学和工程相互融合的思维，而不是数学性的思维(4)计算思维是思想，而不是物品(5)计算思维是一种基础技能，而不是机械技能(6)计算思维是一种理念，而不是表现形式(7)计算思维是一种思维方法，而不是一种思维模式： 计算思维及其本质特性01四、计算思维的特征2.计算思维的问题特性(1)计算思维利用化繁为简、化难为易，通过约简、嵌入、转化和仿真等方法，把一个看来困