《计算思维大学计算教育的振兴科学工程研究的创新ppt课件》由会员分享，可在线阅读，更多相关《计算思维大学计算教育的振兴科学工程研究的创新ppt课件（38页珍藏版）》请在金锄头文库上搜索。
1、计算思维：计算思维： 大学计算教育的振兴大学计算教育的振兴 科学工程研究的创新科学工程研究的创新陈国良南京邮电大学拷棠如惠嚼朽肝枢掖只敝蠢陡氰杆安燃便赏负慰滁菏妨米刹爹穷纺嘎堆留计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件2摘要：本报告首先简单介绍一下科学与思维的概念、两者的关系以及科学思维是一切科学与技术创新的灵魂；然后详细讲解计算思维的定义、实例、特征以及对其他学科的影响；最后阐述计算思维是振兴大学计算教育的途径以及计算思维促使科学与工程领域产生革命性的创新成果。桔缠聋逼扳你卯蹭捕痕扬编潭藕吼锤映奢扛砸贫匪硫饯嘉圾轨蚕悄复羚弹
2、计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件3目录一.科学与思维1.科学与思维的含义2.人类文明进步和科学发现的三大科学3.科学思维二.计算思维1.计算思维的定义2.计算思维的例子3.计算思维的特征4.计算思维对其他学科的影响三.计算思维是大学计算教育振兴的途径1.大学计算机基础教育的重要性2.大学计算机基础教学存在的问题3.计算思维在美国：PITAC报告，BPC、CPATH和CE21计划4.计算思维在我国：中国高等学校计算机基础课程教指委工作5.实例研究：大学计算思维课程的总体框架四.计算思维与科学发现和技术创新1.美国NSF的
3、EHR&CISE学部2.对计算思维的进一步理解3.问题求解、系统设计和行为理解中的计算思维4.美国CISE局启动的CDI计划5.研究示例：网络科学与虚拟实验室6.计算思维研究在我国五.结论歉屑娜筋肩操寿柜酉珠票蔼弹病变踌尝也播鹏短尚吞妖德践下侨广堵纠县计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件一、科学与思维(1)1.科学与思维的含义(1)科学达尔文曾给科学下过一个定义：“科学就是整理事实，从中发现规律，科学就是整理事实，从中发现规律，作出结论作出结论”。科学一般包含：自然科学自然科学、社会科学社会科学和思维科学思维科学。(2)思
4、维思维是高级的心理活动，是认识的高级形式。思维是人脑对现实事物概括、加工、揭露本质特征。人脑对信息的处理包括分析、抽象、综合、概括等。2.人类文明进步和科学发现的三大科学(1)(1)理论科学理论科学、实验科学实验科学和计算科学计算科学作为科学发现三大支柱，正推动着人类文明进步和科技发展。(2)该说法已被科学文献广泛引用，并在美国得到国会听证、联邦和私人企业报告的承同。4珊能挺橡支全判具绩意腊板了樟颖蓬耍姨执龚仆咒臀益较被篓肺洪讣词株计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件一、科学与思维(2)3.科学思维(1)科学思维的含义及重
5、要性：一般指的是理性认识及其过程，也即经过感性阶段获得的大量材料，通过整理和改造，形成概念、判断和推理，以反映事物的本质和规律。国科发财2008197号文关于创新方法工作的若干意见认为“科学思维不仅是一切科学研究和技术发展的起点发展的起点，而且始终贯穿于科学研究和技术发展的全过程，是创新的灵魂创新的灵魂”。(2) 科学思维一般包括： 理论思维理论思维：理论源于数学，理论思维支撑着所有的学科领域。正如数学一样，定义定义是理论思维的灵魂，定理定理和证明是它的精髓。公理化公理化方法是最重要的理论思维方法。实验思维实验思维：实验思维的先驱是意大利科学家伽利略，被人们誉为“近代科学之父”。与理论思维不同
6、，实验思维往往需要借助于某些特定的设备特定的设备，并用它们来获取数据以供以后的分析。计算思维计算思维：计算思维是运用计算机科学计算机科学的基础概念进行问题求解、系统设计以及人类行为理解的涵盖了计算机科学之广度的一系列思维活动。5澎姥述酞殃跌芳佐谴芭倒举衙覆做肢牟辐猜橙嚣玲展畸魏眺林苫骂嘶桃打计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件二、计算思维(1)1.计算思维的定义：计算思维计算思维(Computational Thinking，CT)是运用计算的基础概念(Fundamental Concept)去求解问题、设计系统和理解人类
7、行为的一种方法(Approach)。CT的本质本质是抽象(Abstract)和自动化(Automation)。它是如同所有人都具备“读、写、算读、写、算”（简称（简称3R3R）能力一样，都必须具备的思维能力。2.计算思维的例子：计算思维是通过约简约简、嵌入嵌入、转化转化和仿真仿真等方法，把一个困难的问题阐释成如何求解它的思维方法。计算思维是一种递归思维递归思维，是一种并行处理并行处理，是一种把代码译成数据又能把数据译成代码，是一种多维分析推广的类型检查方法。计算思维是一种采用抽象抽象和分解分解的方法来控制庞杂的任务或进行巨型复杂系统的设计，是基于关注点分离的方法（SoC方法）。计算思维是一种选
8、择合适的方式陈述陈述一个问题，或对一个问题的相关方面建模建模使其易于处理的思维方法。计算思维是按照预防预防、保护保护及通过冗余冗余、容错容错、纠错纠错的方式，并从最坏情况进行系统恢复的一种思维方法。计算思维是利用启发式启发式推理寻求解答，即在不确定情况下的规划、学习和调度的思维方法。计算思维是利用海量数据海量数据来加快计算，在时间和空间之间、在处理能力和存储容量之间进行折衷的思维方法。.6校俐揣拥簇瘸羞芍捕厘攻锁碰梅遂坦炎银呀毅肯橡炙玛藩肝疵乳轿鲁禽啪计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件二、计算思维(2)3.计算思维的特征
9、：概念化，不是程序化概念化，不是程序化计算机科学不是计算机编程计算机科学不是计算机编程。像计算机科学家那样去思维意味着远远不止能为计算机编程，还要求能够在抽象的多个层次上思维。计算机科学不只是关于计算机，就像音乐产业不只是关于麦克风一样。根本的，不是刻板的技能根本的，不是刻板的技能计算思维是一种根本技能，是每一个人为了在现代社会中发挥职能所必须掌握的。刻板的技能意味着简单的机械重复。人的，不是计算机的思维人的，不是计算机的思维计算思维是人类求解问题的一条途径，但决非要使人类像计算机那样地思考。计算机枯燥且沉闷，人类聪颖且富有想象力。是人类赋予计算机激情。计算机赋予人类强大的计算能力，人类应该好
10、好的利用这种力量去解决各种需要大量计算的问题。是思想，不是人造品是思想，不是人造品不只是将我们生产的软硬件等人造物到处呈现给我们的生活，更重要的是计算的概念，它被人们用来问题求解、日常生活的管理，以及与他人进行交流和互动。7永径箱烷俱借诡吱菱沧嵌短知锹艳存瘴周捶咨臼辞膀难哪昔躯洼肤烩的珍计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件二、计算思维(3)数学和工程思维的互补与融合数学和工程思维的互补与融合计算机科学在本质上源自数学思维，它的形式化基础建筑于数学之上。计算机科学又从本质上源自工程思维，因为我们建造的是能够与实际世界互动的系
11、统。所以计算思维是数学和工程思维的互补与融合。面向所有的人，所有地方面向所有的人，所有地方当计算思维真正融入人类活动的整体时，它作为一个问题解决的有效工具，人人都应当掌握，处处都会被使用。4.计算思维对其他学科的影响：(1)事实上，我们已经见证了计算思维对其他学科的影响。例如：计算生物学正在改变着生物学家的思考方式；计算博弈理论正在改变着经济学家的思考方式；纳米计算正在改变着化学家的思考方式；量子计算正在改变着物理学家的思考方式等等。(2)计算思维正在渗透到各个学科中，诸如算法和数据结构这样的术语将成为不同学科领域工作者的日常用语，把树倒过来画已经习以为常，什么“非确定随机算法”、“垃圾收集”
12、这样的术语都已司空见惯了等等。8琴需铱撞藤府寸俩千烟佣洱慰麓旨箭钠腥茶食孔俘巫派敛揣仆新嘛坝娱骨计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件二、计算思维(4)(3)举例：生物生物：霰弹枪算法（Shotgunalgorithm）大大提高了人类基因组测序的速度蛋白质结构可以用绳结来模拟蛋白质动力学可以用计算过程来模拟细胞和电路类似，是一个自动调节系统脑科学脑科学：人脑可以看作是一台计算机视觉是一个反馈循环/用机器学习方法分析功能核磁共振（fMRI）数据化学化学：用原子计算探索化学现象用优化和搜索算法寻找优化化学反应条件和提高产量的物质
13、地质学地质学：“地球是一台模拟计算机”(Boulton,Edinburgh)用抽象边界和复杂性层次模拟地球和大气层数学数学：发现E8李群（E8LieGroup）:18位数学家，4年零77小时超级计算机机时（2千亿个数字）证明四色定理9坏慑裕鳖儡簿卑副息伍斗粒铺值同价介擞侦娜督树姥蓟蕊婉八攻馅端岔臣计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件二、计算思维(5)工程工程 ( (电子、土木、机械、航空航天等电子、土木、机械、航空航天等) )：计算高阶项可以提高精度，进而降低重量、减少浪费并节省制造成本波音777飞机完全是采用计算机模拟测
14、试的，没有经过风洞测试经济学经济学：自动设计机制在电子商务中广泛采用(广告投放、在线拍卖、肾源交换等)很多麻省理工学院的计算机科学博士在华尔街作金融分析师社会科学社会科学：社交网络是MySpace和YouTube等发展壮大的原因之一统计机器学习被用于推荐和声誉排名系统，例如Netflix和联名信用卡等医疗医疗：机器人手术电子病历系统需要隐私保护技术 可视化技术使虚拟结肠镜检查成为可能法学法学：斯坦福大学的CL方法包含了人工智能、时序逻辑、状态机、进程代数、Petri网等方面的内容欺诈调查方面的POIROT项目为欧洲的法律系统建立了一个详细的本体论结构关于犯罪现场调查的福尔摩斯项目10际止锣哈睦
15、闰茄圈多撒刻若呸慰搔纠鼓赛钮轩擎距涯潞砖寄赴择效皖增臼计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件二、计算思维(6)娱乐娱乐：游戏电影梦工厂用惠普的数据中心进行电影“怪物史莱克”和“马达加斯加”的渲染工作卢卡斯电影公司用一个包含200个节点的数据中心制作电影“加勒比海盗”艺术艺术：艺术(如喷绘机器人Robotticelli)戏剧音乐摄影体育体育：阿姆斯特朗的自行车载计算机追踪人车统计数据SynergySports公司对NBA视频进行分析教育方面的启示教育方面的启示：大学应该从新生课程入手-教授“象计算机科学家一样思考”课程，而不是
16、“某程序设计”课程让国家和国际组织参与到教学改革中，特别是K-12、ACM、CSTA、CRA等模拟模拟：核试验模拟/利用Exascale计算对能源和环境进行建模和模拟基于高性能计算机用计算科学模拟飓风，使科学家可以看到飓风的内部地震能否被有效模拟和预测？地震能否被有效模拟和预测？11旨纱暂莫疫驾殆伯废皆锡处骆锻件搬况嗽透韭谴挠夜误柏缮庆她蹲捅盲向计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(1)1.大学计算机基础教育的重要性(1)大学通识教育通识教育（Liberal Studies）是大学人才培
17、养的重要任务大学教育不能局限于基本知识传授，要培养：学生的理性思维能力思维能力学生对科学精神科学精神的追求学生的高尚人格高尚人格通识教育三大特征（复旦杨玉良校长）通识教育要同时传递科学精神科学精神和人文精神人文精神通识教育要展现不同文化、不同学科的思维方式思维方式通识教育要充分展现学术魅力学术魅力大学计算机教育三种能力的培养使用计算机的基本能力基本能力（ComputerLiteracy）的培养理解计算机系统的熟练能力熟练能力（ComputerFluency）的培养训练有素的计算思维能力计算思维能力（ComputationalThinking）的培养(2)计算思维能力培养是大学通识教育的重要组成
18、部分国家明确定位计算机基础课程是和数学、物理等同地位的基础课程基础课程。计算机不仅为不同专业提供了解决专业问题的有效方法和手段，而且提供了一种独特的处理问题的思维方式思维方式。熟悉使用计算机及互联网，为人们终生学习提供了广阔的空间以及良好的学习工具与环境。12售撼寡励迭衷伦傅坠落矩醋镐刊谋以垒佣滓上封毁旬呢恳返僻摩泥仔蹈利计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(2)2.大学计算机基础教学存在的问题(1)计算机教育的危机因特网的普遍发展，使计算机科学与技术呈现了泛在化泛在化、平民化平民化的趋
19、势。计算机的易用性和本身技术的巨大进步，使很多人质疑大学计算机教育的必要性。很多人将计算机科学等同于计算机编程，淡化了淡化了计算机的科学意义科学意义，削弱削弱了计算机学科的内涵了计算机学科的内涵。(2)我国的情况“狭义工具论狭义工具论”的课程：“狭义工具论”认为教计算机基础就是教些计算机工具及其使用方法。“浓缩版浓缩版”的教材：教材基本上是有关领域的浓缩版，学生进入大学后，对第一门计算机课程兴趣不大，逃课率相当高。计算机基础课教学学时被压缩压缩，教学资源配置不充分，课程面临被裁减裁减的危机。危机。13慈殿它干甥培枷艇冯晓宗致碉炭仟均豢们搬悠肩瀑棚停睁搅氯滞灵笋呼言计算思维大学计算教育的振兴科学
20、工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(3)(3)美国的情况学生学习计算机课程情况学生学习计算机课程情况：2003年11月，美国Naval Postgraduate School的Peter Denning教授在CACM上发表Great Principles of Computing一文介绍了这种情况： 在大学第一门计算机课程（主要指“程序设计语言”作为第一门计算机课程）的学习过程中，有35-50%35-50%的学生中途放弃的学生中途放弃。另外，不少的学生还通过抄袭或者是作弊作弊的方式来完成课程。毕业生的工资情况：20
21、05年11月，美国ComputingResearchNews刊登的一篇名为科学与工程专业毕业生的工资的报告： 早期，在美国科学领域各学科中，计算机与信息科学专业毕业生的平均年工资最高，学士人均年工资为45,000美元，硕士人均60,000美元。14蓉魁袄残幽烁裁丫翅苦微埋劲指挨登裕佐凌百翌漏豌卡彰巫帽腺从叁眷鸟计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(4)学生主修计算机专业情况：加州大学洛杉矶分校发现学生对计算专业的兴趣波动很大，2001后普遍下降后普遍下降。15够渐爵铱熟轩婆递润惠涸藻蛊婿
22、担攻假阉玖苔盟遭攫辨傈疚尿轻聚宣雏份计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(5)3.计算思维在美国(1)计算思维在美国产生的背景：PITAC报告2005年6月，美国总统信息技术咨询委员会美国总统信息技术咨询委员会(Presidents Information Technology Advisory Committee，PITAC)给美国总统提交了报告计算科计算科学学：确保美国竞争力确保美国竞争力(Computational Science: Ensuring Americas Compet
23、itiveness)。报告陈述报告陈述：虽然计算本身也是一门学科，但是其具有促进促进其他学科发展的作用发展的作用。 二十一世纪科学上最重要的、经济上最有前途的研究前沿都有可能通过熟练有可能通过熟练的掌握先进的计算技术和运用计算科学而得到解决的掌握先进的计算技术和运用计算科学而得到解决。报告认为报告认为：如今美国又一次面临了挑战面临了挑战，这一次的挑战比以往来得更加广泛、复杂，也更具长期性。美国还没有认识到计算科学还没有认识到计算科学在社会科学、生物医学、工程研究、国家安全，以及工业改革中的中心位置的中心位置。这种认识不足将危及危及美国的科学领导地位领导地位、经济竞争力经济竞争力以及国家的安全国
24、家的安全。报告建议报告建议：将计算科学长期置于长期置于国家科学与技术领域中心的领导地位领导地位。16崎鳃培缓斗淀傻九鲸陌舒盘隘虫喷仔汗地供蜂霜己涕碑喝叁垄纂汞张怯颓计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(6)(2)美国NSF的BPCBPC(Broadening Participation in Computing)计划美国NSF的计算机与信息科学和工程CISECISE(Computer & Information Science & Engineering)学部2006年率先启动了“扩大计
25、算参与面扩大计算参与面”计划，它通过扩大计算的参与对象，使更多的人，特别是美国的少数民族和妇女受益。(3)美国NSF的CPATHCPATH(CISE Pathways to Revitalized undergraduate Computing Education)计划目标促成造就具有基本计算思维能力的、在全球有竞争力的美国劳动大军劳动大军，确保美国在全球创新企业的领导地位。将计算思维计算思维学习机会融入融入到计算机、信息科学、工程技术和其他领域的本科教育中，以增强开发增强开发具有计算思维能力的学生的人数学生的人数。展示突破性的、可在多类学校中推广的、以计算思维为核心的本科教育模式本科教育模式
26、。现状CPATH计划认为：尽管有的研究机构和大学对此做出了卓越的、开创性的工作，但目前美国更多的大学计算教育仍然沿袭的是几十年前的教学模式大学计算教育仍然沿袭的是几十年前的教学模式。17黑拍酬痘雨抡篮透代矛洱哺杭鲸鹅弹决矮高蔡嚎瘁剖利类惠壁夯沤措哩川计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(7)CPATH项目：2007年启动，当年投入600万美元2008年投入500万美元2009年投入1000万美元CPATH项目情况简介：2009.4 - 2010.4共批准26项，其中CT with K-1
27、2 Connection 4项CT in STEM(Science, Technology, Engineering and Mathematics) Disciplines 4项CT across All Disciplines 4项Tools & Resources for Undergraduate Computing Education 3项CT in Computing Science & Engineering 11项(4)美国NSF的CE21CE21(Computing Education for 21st Century)计划2011年度NSF启动了CE21计划，计划是建立在C
28、PATH计划成功的基础上，其目的是提高K-14（中小学和大学一、二年级）老师与学生的计算思维能力。18删沸痕鄙樱翌遗祟悠释南磋输趋乒辈福倍瑚穗绅廷蜕蜡然裕擂漂溉言鲍榆计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(8)4.计算思维在我国(1)中国高等学校计算机基础课程教指委的近期工作2010.05：在合肥合肥会议上讨论了讨论了培养高素质的研究性人才，“计算机基础”这门课程应该包含哪些内容，如何将计算思维融入到这门课程中？2010.07：在西安西安会议上发表了发表了九校联盟(C9)计算机基础教学发展
29、战略联合声明，确定了确定了以计算思维为核心的计算机基础课程教学改革。2010.09：在太原太原会议上决定了决定了将合肥会议和西安会议中有关计算思维的讨论形成书面材料，以“计算思维：确保学生创新能力”为主题向教育部领导谏言和申请立项研究。2010.11：在济南济南会议上，将在全国更大范围内，深入讨论以计算思维为核心的基础课教学改革，并将太原会议的初步材料加以讨论和修改后正式上报教育部袁贵仁部长，并“以计算思维能力培养为核心推进大学通识教育改革的研究与实践”为项目，建议立项研究建议立项研究。2011.06：在北京北京“以计算思维为导向的计算机基础课程建设”研讨会上，组织有关高校围绕“计算思维的实质
30、”和“如何在计算机基础教学的第一门课程中体现计算思维能力的培养”进行了广泛的讨论。19总绅教汽腆朽桐暗既己舰显卖帮帛陀肢报兄协铁加阳垃儡管腺稽缨刻铃诱计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(9)2011.08：在深圳深圳召开了计算机基础课程教指委高层研讨会（第6次工作会议），主要研究以计算思维为主题向教育部、科技部、国家自然基金委申请立项研究申请立项研究计算思维事宜。2011.11：在杭州杭州召开了计算机基础课程教指委第7次工作会议，主要审定第6次工作会议确定的三个立项报告，最终向教育部、
31、科技部、国家自然基金委提交正式申请报告。2012.01：在深圳召开了计算机基础课程教指委第8次工作会议，会议期间举行了“计算机素质教育论坛”，深入交流了大学计算机素质教育的方方面面，探讨了计算文化、计算科学、计算思维在大学计算机素质教育中的重要作用。2012.03：在深圳大学召开了教指委第九次工作会议，集中讨论了“基于计算思维的复杂系统计算抽象理论与方法”重大项目立项建议的审定工作，会议决定在再次修改后于3月底正式向国家自然基金委提交。 2012.05：在西安(2)计算思维课程在部分中国高校中正式开始实践2010年秋季，在上海交通大学2011年春季，在南方科技大学2011年春季，在西安交通大学
32、2011年秋季，在深圳大学20祷誊冰梨炔婆朔椭卖潦垣蚊效峰仿她查吭逢惩赶摆宾晦届滓继散爬旋梧殴计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(10)5.实例研究：大学计算思维课程总体框架(1)基本框架计算理论：可计算性与计算复杂性。算法和通用程序设计语言。实践基础：计算机硬件和软件最小知识集。(2)内容规划计算思维基础知识基本概念基本概念：什么是科学、思维、学科？科学与思维，理论思维，实验思维，计算思维。科学发现的第三支柱科学发现的第三支柱：科学发现的三大支柱（理论科学、实验科学、计算科学），计算
33、科学的作用（PITAC 2005报告），名人名言（H. Davy, 化学家)。计算科学与计算机科学以及计算机学科：计算科学与计算机科学以及计算机学科：什么是计算科学？什么是计算机科学？什么是计算机学科？计算机学科发展的历程（EE、CE、CS、SE、IT、IS）。计算思维：计算思维：什么是计算思维？例子、主要特征（它是什么？它不是什么？）、对其他学科的影响（生物学、脑科学、化学、地质学、数学、工程技术、经济学、社会科学、医学、法律、娱乐、艺术、体育、教育）。热身问题：热身问题：20次猜测、七桥问题、国王的婚姻、汉诺塔、旅行商问题21弥谨巡酷宣溉钞减弦颗井速的榜蜘逃砧次锹邪两土沟耘镑范话恿渝咸堆弯
34、计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(11)计算理论和计算模型人类对计算本质的认识过程人类对计算本质的认识过程计算手段应该器械化器械化（算盘、手摇计算机、微分机、模拟机等）计算过程应该形式化形式化（图灵模型）计算执行应该自动化自动化（冯诺依曼模型）计算理论计算理论函数及其计算图灵机通用Bare Bones语言不可计算函数与停机问题计算复杂性（多项式与多项式函数，P类问题，NP类问题，NPC类问题）冯冯诺依曼计算机模型诺依曼计算机模型计算机体系结构- 机器指令与机器语言汇编语言程序的执行举
35、例- 虚拟机计算的数学理论计算的数学理论计算理论计算理论：包括算法理论、可计算性理论、计算复杂性理论等。高等逻辑高等逻辑：包括模型论（研究逻辑系统的语义，构造形式系统模型）和非经典逻辑（研究时序逻辑、模态逻辑、概率逻辑、模糊逻辑、归纳逻辑、非单调逻辑等）。形式语言与自动机形式语言与自动机：包括形式语言（研究语言的语法(词法和文法)和构造性结构）和自动机（研究各种能自动处理符号的数学机器）。形式语义学形式语义学：主要指用数学方法研究计算机程序设计语言的语义（包括操作语义、指称语义、公理语义和代数语义等）。计算机科学的数学基础：离散数学计算机科学的数学基础：离散数学数理逻辑数理逻辑：包括命题逻辑的
36、概念、等值演算与推理，一阶逻辑的概念、等值演算与推理等。集合论集合论：包括集合代数，二元关系，函数和集合的基数等。代数系统代数系统：包括代数系统群、环、域，格与布尔代数等。图论图论：包括图的基本概念（通路、回路、连通性、矩阵表示等）、欧拉图与哈密尔顿圈，树，平面图及图的着色，支配集、覆盖集、独立集与匹配等。22灌美憋忌痰枝懒诀论靴晕龟议锐屏昨洽痴拓颈辱魔革找倔坝枢需菱赂顾幽计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(12)算法基础算法的历史算法的历史算法的定义和特征算法的定义和特征定义（求解问
37、题的方法和步骤）特征（确定性、有穷性、可行性、输入/输出量等）基本的表达基本的表达自然语言、流程图、伪代码、程序语言算法的设计算法的设计数值算法与非数值算法的设计，确定性算法与随机算法的设计算法的分析算法的分析复杂度度量（时间复杂度、空间复杂度等）复杂度分析（最坏情况分析、平均情况分析）复杂度函数（上界、下界、精确界函数）23袱门闺夫亨廉装皮穴绵剿辊防丹但债蝇野皆恢水湖灌细等蜡殖辫胸扶十桶计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(13)通用程序设计语言目的与作用：体现算法的原理，表述算法的实
38、现步骤。不要求语言在机器上编译运行。类-Algol语言：不要求变量类型说明等语句。具有描述算法实现最基本的语句：赋值语句、循环控制语句、基本运算语句等。BareBones基本语言具有最基本的运算语句：清零、增一、减一、循环控制等语句。具有通用性：能表示图灵可计算函数，根据丘奇-图灵论题，任何可计算函数均可用BareBones语言编写程序。Haskell纯函数语言不同于描述计算如何进行的命令式命令式（Imperative）语言（C、Java、ada、pascal）。函数式语言函数式语言（FunctionalLanguage）（Lisp、Haskell、Ocam）是定义如何将输入数据转换为输出数据
39、的计算什么的语言。24命令式语言Haskell语言total = 0for (i=1; i=10; i+)sum1.10 total += i徒厚计思削妆贩室企糟穗丰畅捐久栽阔葫励珍同茎格钦者娟耿馒粗畏兵杖计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(14)计算机硬件基础布尔逻辑与门电路布尔逻辑与门电路布尔逻辑和运算门电路基础数制与运算数制与运算各种数制的转换数据的存储与表示数据的存储与表示存储容量单位ASCII码原码、反码和补码计算机组成计算机组成CPU主存、外存和存储体系I/O设备指令系统及
40、执行指令系统及执行25笆围咒篡植种镰枚捻嗅碍计衫叙垛遂幅遍逞堑棋薛滨凝秤投锤荔的儡院赂计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件三、计算思维是大学计算教育振兴的途径(15)计算机软件基础软件分类软件分类操作系统操作系统操作系统的定义和功能操作系统的历史、分类和常见操作系统竞争控制数据库系统数据库系统数据库系统基础关系模型数据挖掘入门办公软件简介办公软件简介WordExcelPowerPointAccess(3)教学环节课堂讲授：自编参考教材课堂练习：不掉电的计算机科学课堂讨论：拓展知识、前沿课程考核：笔试口试小论文26帽课炽叠岗
41、祷几剧扬哇痔所暖摄锄技褐乞蘑优挎靶喘启班效酿护檬柱彩雍计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(1)1.美国NSF的EHR&CISE学部：(1)美国NSF的EHREHR(Education & Human Resources)局的使命为21世纪培养和造就科学家培养和造就科学家、技术人员、工程师、数学家和教育工作者等范围广泛的、训练有素的劳动大军训练有素的劳动大军，以及具有科学素质的、能够把握科学技术的思想和工具的现代公民现代公民。支持所有科学与工程领域中的教育、研究以及基础设施（Infrastr
42、ucture）的开发。提升全体公民的生活质量生活质量，提升国家的健康、繁荣、福祉和安全。(2)美国NSF的CISECISE(Computer & Information Science & Engineering)局的使命在计算机与信息科学及工程方面使美国保持世界领先地位世界领先地位。促使理解和利用先进的计算机、通信和信息系统，为全社会提供服务提供服务。27火板宋鬼章苟虏雅晴巳斗稳灰咖铲践彦负叼酚笼窗圈平戎究瓮处沧涟幢巍计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(2)2.对计算思维的进一步理解：(
43、1)计算思维是利用泛指的计算（CS、CE、C、IS、IT等）的基础概念，求解问题、设计系统、理解人类行为的一种方法方法（Approach），是一类Analytical Thinking。它合用（Share）了数学思维（求解问题的方法）、工程思维（设计、评价大型复杂系统）和科学思维（理解可计算性、智能、心理 和人类行为）。(2)计算时的抽象概念比数学、物理科学中的意义要丰富和复杂；抽象是分层的（为此要定义介面和关系）；抽象最终要在受限的物理世界中实现的；Abstractions are the mental tools of computing. The power of the mental
44、tools is amplified by the power of metal tools。(3)计算是抽象的自动执行；自动化隐含着需要某类计算机（可以是机器或人，或两者的组合）去解释抽象。(4)从操作侧面上，计算涉及到回答“如何寻找一台计算机去求解问题？”隐含地回答此问题就是确定合适的抽象，选择合适的某类计算机去解释执行该抽象，后者的过程就是自动化。所以计算思维的本质是抽象与自动化（2A）。(5)计算的三种驱动力是科学、技术和社会，三者互相作用影响：科学的发现催生技术发明促进社会应用；反之，技术发明产生新的社会应用促进新的科学发现。28被垮终烘飘庄促卸炸料渠访券吩溃粮宫悼署溅稼乌铭胀蔚福凸
45、坤矗搭句揭计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(3)3.问题求解、系统设计和行为理解中的计算思维(1)求解问题中的计算思维利用计算的手段求解问题的过程首先要把实际应用问题转换转换为数学问题（可能是一组PDE）其次将PDE方程离散化离散化为一组代数方程组然后建立模型、设计算法、编程实现实现最后在具体的计算机上运行运行求解计算求解问题过程中的计算思维中的前两步可谓是计算思维中的抽象抽象(Abstract)中的后两步可谓是计算思维中的自动自动(Atomation)(2)设计系统中的计算思维Karp
46、的观点：任何自然系统和社会系统都可视为一个动态演化系统，演化伴随着物质、能量和信息的交换，这种交换可映射（也就是抽象）为符号变换，使之能利用计算机进行离散的符号处理。当动态演化系统抽象抽象为离散符号系统之后，就可采用形式化的规范描述，建立模型、设计算法、开发软件，来揭示演化的规律，并实时控制系统的演化，自动自动执行，这就是计算思维中的自动化自动化。29替铡挛篇团伏怪舆镐尾星狞酞皋萄俗焊早傍凹诗焕彩杏堤容织碳跟宦乎慷计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(4)(3)理解人类行为中的计算思维（利用
47、计算基础概念-计算机网络科学去理解人在网络环境下的行为）人类所处的环境变迁与人类行为表现封建社会自给自足的封闭式环境资本主义社会的开放环境近代社会的网络环境利用计算的手段来研究人类的行为，可视为社会计算(Cyber-SocietyComputing)，即通过各种信息技术手段，设计、实施和评估人与环境之间的交互。社会计算涉及到人们的交互方式、社会群体的形态及其演化规律等问题。研究生命的起源与繁衍，理解人类的认识能力，了解人类与环境的交互，研究传染病毒的结构与传播以及国家的福利与安全等等都属社会计算的范畴，这些都与（计算）思维科学密切相关。使用计算思维的观点对当前社会计算中的一些关键问题进行分析与
48、建模，尝试从计算思维的角度重新认识社会计算，找出新问题、新观点和新方法等。30腾她尸苫涛拟挡怨会墓豫涩袍脓奢辫庭伤皖樱芯胀散叮堡仓楷嫁自沥侵失计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(5)4.美国CISE局启动的CDI(Cyber-EnabledDiscoveryandInnovation)计划(1)目的、项目与财年2008 年NSF启动了“通过网络实现的科学发现与技术创新通过网络实现的科学发现与技术创新”(CDI)的5年研究计划，是实现计算思维的第一个美国NSF重大计划。目的目的：通过计算思维
49、的创新和进步创新和进步（包括概念、方法、模型、算法、工具和系统等），对科学与工程领域产生新理解新理解、新模式新模式，创造革命性的研究成果研究成果。项目与财年项目与财年：2008年批准了共72个项目，经费为4200万美元；2009年投入了3300万美元；2010年预算为5000万美元，后增加了1637万美元。(2)2010年度的CDI计划“网络物理系统网络物理系统”（CPS）：CPS包括自动汽车、智能的高效能建筑物、嵌入式医疗设备、辅助老年人的技术、提高生活质量的机器人等。数据密集型计算数据密集型计算探索新的基础数学和计算抽象科学以表征和管理数据。支持科学与工程应用中的数据挖掘、数据整合和数据提
50、取等跨学科项目。开展数据可视化和数据发布工具的基础科学研究。新兴的数据密集型计算模式云计算的研究。31麻吱铺耐形临疮靡卵必翘沮忘掳匡粮蜀膀报轮抛西叔棚橱千纽摸缆咀傲袋计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(6)(3)CDI计划支持的三大主题从数据到知识从数据到知识（FromDatatoKnowledge）：增进人类的认识和从丰富的异构数字化的数据中产生新的知识。理解自然、人工和社会系统的复杂性理解自然、人工和社会系统的复杂性（UnderstandingComplexityinNatural,B
51、uilt,andSocialSystems）：对此三大系统产生根本性的认识。虚拟组织虚拟组织（VirtualOrganizations,VO）：将不同结构、不同地域和不同文化的人群和资源联系在一起，进行科学发现和创新。32背展帝媚蔡病淌铡淋乘好藤荆箩腆撇藐椅虾送脸哀拔畸懒的狠锑昧荧峨时计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(7)5.研究示例(1)(1)网络科学网络科学（Network Science）：网络科学系从经济理论、多尺度分析、网络信息理论等衍生出来的。需要发展基础理论来开发、理解、建
52、模和分析大规模复杂异构网络的工具。这样的网络，包括Internet网网（跨地域，跨人工、社会和自然系统）、生生物网络物网络（对它的理解还很初级）和复杂耦合网络复杂耦合网络（包括通信系统、人类大脑和社会网络）等。网络科学覆盖了CDI的三大主题：大量跨越多时空尺度的网络数据集的知识模式。人工的、社会的和自然的网络体现了复杂系统的交互。由网络组成的虚拟组织自身在不同的交互尺度反过来来研究网络。(2)(2)虚拟实验室虚拟实验室（Virtual Laboratory）高中的老师和学生可以通过所提供的建模与仿真系统的虚拟实验室来共同探索科学。他们可在虚拟实验室调研有关知识；也可以与远程班级互动。这种对科学
53、教育的创新方法，有赖于安全的虚拟组织的突破和多学科的交叉方法等。33芋镊扑副遮唉拒囚臀好筒燥渤兹咀惠棚董置葵迭吝赊拣廷酷呕龄轴夷麻新计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件四、计算思维与科学发现和技术创新(8)6.计算思维研究在我国：(1)2012年国家科技计划信息技术领域备选项目推荐指南里的“基础研究类”的先进计算中，我国学者推荐立项开展“新一代软件方法学及其对计算思维的支撑机理”的研究。(2)中国高等学校计算机基础课程教学指导委员会从2010年下半年开始在合肥、济南、北京、深圳和杭州等会议上分别向教育部、基金委、科技部等建
54、议立项开展“计算思维：确保学生创新能力”和“基于计算思维的复杂计算系统的认知构建”的研究。34济囊绿阅辰归凸溉盈寺岗锤刻坊蘑穆定竟店炕场嵌编肘蒙媒呈垛购怠卉咬计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件五、结论(1)1.科学思维是一切科学研究和技术发展的创新灵魂；科学思维一般包括推理思维、实证思维和计算思维；计算思维不仅能振兴大学计算教育，而且会令科学与工程领域创造出革命性的(Transformative)研究成果。2.计算思维能改变大学计算机教育仍然沿袭几十年的教学模式，是大学计算教育振兴(Revitalized)的途径。可培养
55、造就具有计算思维能力的、训练有素的科技人才、劳动大军和现代公民。3.通过多学科方法，使用计算思维在计算概念、方法、模型、算法、工具与系统等的创新和进步，或者创新地使用计算概念、方法、模型、算法、工具与系统等，对科学与工程领域产生新理解、新模式，从而可创造出革命性的研究成果。4.计算思维代表着人们的一种普遍的认识和一类普适的能力，不仅仅是计算机科学家，而是每一个人都应该热心地学习和运用它。5.计算思维的大学课程，不仅仅是面向计算机科学专业，而是面向所有的专业。一个人可主修英语或数学等，而工作可从事于各行各业；计算机科学也一样，一个人可主修计算机科学，而接着从事任何类型的工作。我们应当激发学生对计
56、算机科学的兴趣、热爱和探索，积极传播计算机科学的快乐、崇高和力量，致力于使计算思维成为公众的常识，真正融入人类的一切活动中。35象沁赠哗吻撼磅镐梦楔某诲赞榜誓疤狄涟辰显灯培符寺睬撵验刨闰透允僚计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件五、结论(2)6.我们应当积极行动起来，纠正计算机科学等同于计算机编程和认为计算机科学的基础理论已完成剩下的只是工程问题的错误观点，改变我们计算机科学的社会形象。当我们这样做时，计算思维就是引导着计算机教育家、研究者和实践者们的一个宏大愿景！“事在当代，利在千秋”！7.关于计算思维的研究：计算思维是
57、利用计算的基础概念(FundamentalConcepts)求解问题、设计系统和理解人类行为的一种方法(Approach)。计算思维是人类求解问题的一条途径。尽管对计算思维的理解也有不同的看法，但是我们认为，现在不必过多地讨论、解释计算思维到底是什么，而是要回答计算思维能给计算机科学带来什么新内容和新发展。要从计算思维的角度，审视我们以前的有关研究工作，以期在此基础上提出新的理论和方法，获得一些用以往研究方法难以取得的突破性研究成果。8.在中文里，计算思维不是一个新名词。在我国，从小学到大学的教育中，计算思维经常被朦朦胧胧地使用，我们的老师在传播科学知识时，也自觉或不自觉地在传承着计算文化，却
58、一直没有像周以真教授那样新颖、明确和系统地进行高度的概括和提升。我们传统的文化中有历史悠久的“算计”文化，褒贬不一。我们希望能借“计算思维”之东风，尽快把传统的世故人情的“算计文化”反正成为现代科学理性的“计算文化”，以提高民族的整体素质（王飞跃语）。36离蚕陇刹斯宅授披总戏页擅钻拼朴赦之号圆樱卫粗讶政疥桓沙糯夺能檬劝计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件五、结论(3)9.呼吁呼吁：计算思维的研究是当今计算学科及其相关交叉学科领域研究的热点，希望充分利用计算思维于各自的教学与科研工作中，期望能像CDI计划那样取得革命性的、突
59、破性的研究成果。10.建议建议：国家教育部、国家自然基金委、国家科技部、中国科学院等能跟上学科的发展，参照国外，特别是美国的CPATH计划和CDI计划，布局国家级项目，投入足够资金，持久地开展计算思维的立项研究工作。37筛堆蒋搽祥靡厂耪又娱耗辫去沟矢趴铁罩喝砂臀麦烃旦蝶亡起怨钙约诊狄计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件感谢李廉教授、董荣胜教授和李波教授的大力帮助！恳请大家批评指正！38腐协迭惶糟遍员壁窄测妮悟编抉穆辊靳手服直驶嘴鞋兢净倦紊弊窥乘仁照计算思维大学计算教育的振兴科学工程研究的创新ppt课件计算思维大学计算教育的振兴科学工程研究的创新ppt课件
