资源描述
单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,*,本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。本资料仅供参考，不能作为科学依据。谢谢。本资料仅供参考，不能作为科学依据。,计算思维：,大学计算教育振兴 科学工程研究创新,陈国良,南京邮电大学,1/38,摘要：,本汇报首先简单介绍一下科学与思维概念、二者关系以及科学思维是一切科学与技术创新灵魂；然后详细讲解计算思维定义、实例、特征以及对其它学科影响；最终阐述计算思维是振兴大学计算教育路径以及计算思维促使科学与工程领域产生革命性创新结果。,2/38,2,目录,科学与思维,科学与思维含义,人类文明进步和科学发觉三大科学,科学思维,计算思维,计算思维定义,计算思维例子,计算思维特征,计算思维对其它学科影响,计算思维是大学计算教育振兴路径,大学计算机基础教育主要性,大学计算机基础教学存在问题,计算思维在美国：,PITAC,汇报，,BPC,、,CPATH,和,CE21,计划,计算思维在我国：中国高等学校计算机基础课程教指委工作,实例研究：大学计算思维课程总体框架,计算思维与科学发觉和技术创新,美国,NSF,EHR&CISE,学部,对计算思维深入了解,问题求解、系统设计和行为了解中计算思维,美国,CISE,局开启,CDI,计划,研究示例：网络科学与虚拟试验室,计算思维研究在我国,结论,3/38,3,一、科学与思维,(1),科学与思维含义,科学,达尔文曾给科学下过一个定义：“,科学就是整理事实，从中发觉规律，作出结论,”。,科学普通包含：,自然科学,、,社会科学,和,思维科学,。,思维,思维是高级心理活动，是认识高级形式。,思维是人脑对现实事物概括、加工、揭露本质特征。,人脑对信息处理包含分析、抽象、综合、概括等。,人类文明进步和科学发觉三大科学,理论科学,、,试验科学,和,计算科学,作为科学发觉三大支柱，正推进着人类文明进步和科技发展。,该说法已被科学文件广泛引用，并在美国得到国会听证、联邦和私人企业汇报承同。,4/38,4,一、科学与思维,(2),科学思维,科学思维含义及主要性：,普通指是理性认识及其过程，也即经过感性阶段取得大量材料，经过整理和改造，形成概念、判断和推理，以反应事物本质和规律。,国科发财,197,号文,关于创新方法工作若干意见,认为“科学思维不但是一切科学研究和技术,发展起点,，而且一直贯通于科学研究和技术发展全过程，是,创新灵魂,”。,(2),科学思维普通包含：,理论思维,：理论源于数学，理论思维支撑着全部学科领域。正如数学一样，,定义,是理论思维灵魂，,定理,和证实是它精华。,公理化,方法是最主要理论思维方法。,试验思维,：试验思维先驱是意大利科学家伽利略，被人们誉为“近代科学之父”。与理论思维不一样，试验思维往往需要借助于一些,特定设备,，并用它们来获取数据以供以后分析。,计算思维,：计算思维是利用,计算机科学,基础概念进行问题求解、系统设计以及人类行为了解涵盖了计算机科学之广度一系列思维活动。,5/38,5,二、计算思维,(1),计算思维定义：,计算思维,(Computational Thinking,，,CT),是利用计算基础概念,(Fundamental Concept),去求解问题、设计系统和了解人类行为一个方法,(Approach),。,CT,本质,是抽象,(Abstract),和自动化,(Automation),。它是如同全部些人都具备,“读、写、算”（简称,3R,）,能力一样，都必须具备思维能力。,计算思维例子：,计算思维是经过,约简,、,嵌入,、,转化,和,仿真,等方法，把一个困难问题阐释成怎样求解它思维方法。,计算思维是一个,递归思维,，是一个,并行处理,，是一个把代码译成数据又能把数据译成代码，是一个多维分析推广类型检验方法。,计算思维是一个采取,抽象,和,分解,方法来控制庞杂任务或进行巨型复杂系统设计，是基于关注点分离方法（,SoC,方法）。,计算思维是一个选择适当方式,陈说,一个问题，或对一个问题相关方面,建模,使其易于处理思维方法。,计算思维是按照,预防,、,保护,及经过,冗余,、,容错,、,纠错,方式，并从最坏情况进行系统恢复一个思维方法。,计算思维是利用,启发式,推理寻求解答，即在不确定情况下规划、学习和调度思维方法。,计算思维是利用,海量数据,来加紧计算，在时间和空间之间、在处理能力和存放容量之间进行折衷思维方法。,.,.,.,6/38,6,二、计算思维,(2),3.,计算思维特征：,概念化，不是程序化,计算机科学不是计算机编程,。像计算机科学家那样去思维意味着远远不止能为计算机编程，还要求能够在抽象多个层次上思维。计算机科学不只是关于计算机，就像音乐产业不只是关于麦克风一样。,根本，不是刻板技能,计算思维是一个根本技能，是每一个人为了在当代社会中发挥职能所必须掌握。刻板技能意味着简单机械重复。,人，不是计算机思维,计算思维是人类求解问题一条路径，但决非要使人类像计算机那样地思索。计算机枯燥且沉闷，人类聪明且富有想象力。是人类赋予计算机激情。计算机赋予人类强大计算能力，人类应该好好利用这种力量去处理各种需要大量计算问题,。,是思想，不是人造品,不只是将我们生产软硬件等人造物处处展现给我们生活，更主要是计算概念，它被人们用来问题求解、日常生活管理，以及与他人进行交流和互动。,7/38,7,二、计算思维,(3),数学和工程思维互补与融合,计算机科学在本质上源自数学思维，它形式化基础建筑于数学之上。计算机科学又从本质上源自工程思维，因为我们建造是能够与实际世界互动系统。所以计算思维是数学和工程思维互补与融合。,面向全部人，全部地方,当计算思维真正融入人类活动整体时，它作为一个问题处理有效工具，人人都应该掌握，处处都会被使用。,计算思维对其它学科影响：,实际上，我们已经见证了计算思维对其它学科影响。比如：计算生物学正在改变着生物学家思索方式；计算博弈理论正在改变着经济学家思索方式；纳米计算正在改变着化学家思索方式；量子计算正在改变着物理学家思索方式等等。,计算思维正在渗透到各个学科中，诸如算法和数据结构这么术语将成为不一样学科领域工作者日惯用语，把树倒过来画已经习认为常，什么“非确定随机算法”、“垃圾搜集”这么术语都已司空见惯了等等。,8/38,8,二、计算思维,(4),举例：,生物,：,霰弹枪算法（,Shotgun,algorithm,）大大提升了人类基因组测序速度,蛋白质结构能够用绳结来模拟,蛋白质动力学能够用计算过程来模拟,细胞和电路类似，是一个自动调整系统,脑科学,：,人脑能够看作是一台计算机,视觉是一个反馈循环,/,用机器学习方法分析功效核磁共振（,fMRI,）数据,化学,：,用原子计算探索化学现象,用优化和搜索算法寻找优化化学反应条件和提升产量物质,地质学,：,“地球是一台模拟计算机”,(Boulton,Edinburgh),用抽象边界和复杂性层次模拟地球和大气层,数学,：,发觉,E8,李群（,E8 Lie Group,）,:,18,位数学家，,4,年零,77,小时超级计算机机时（,2,千亿个数字）,证实四色定理,9/38,9,二、计算思维,(5),工程,(,电子、土木、机械、航空航天等,),：,计算高阶项能够提升精度，进而降低重量、降低浪费并节约制造成本,波音,777,飞机完全是采取计算机模拟测试，没有经过风洞测试,经济学,：,自动设计机制在电子商务中广泛采取,(,广告投放、在线拍卖、肾源交换等,),很多麻省理工学院计算机科学博士在华尔街作金融分析师,社会科学,：,社交网络是,MySpace,和,YouTube,等发展壮大原因之一,统计机器学习被用于推荐和声誉排名系统，比如,Netflix,和联名信用卡等,医疗,：,机器人手术,电子病历系统需要隐私保护技术,可视化技术使虚拟结肠镜检验成为可能,法学,：,斯坦福大学,CL,方法包含了人工智能、时序逻辑、状态机、进程代数、,Petri,网等方面内容,欺诈调查方面,POIROT,项目为欧洲法律系统建立了一个详细本体论结构,关于犯罪现场调查福尔摩斯项目,10/38,10,二、计算思维,(6),娱乐,：,游戏,电影,梦工厂用惠普数据中心进行电影“怪物史莱克”和“马达加斯加”渲染工作,卢卡斯电影企业用一个包含,200,个节点数据中心制作电影“加勒比海盗”,艺术,：,艺术,(,如喷绘机器人,Robotticelli),戏剧,音乐,摄影,体育,：,阿姆斯特朗自行车载计算机追踪人车统计数据,Synergy Sports,企业对,NBA,视频进行分析,教育方面启示,：,大学应该从新生课程入手,-,教授“象计算机科学家一样思索”课程，而不是“某程序设计”课程,让国家和国际组织参加到教学改革中，尤其是,K-12,、,ACM,、,CSTA,、,CRA,等,模拟,：,核试验模拟,/,利用,Exascale,计算对能源和环境进行建模和模拟,基于高性能计算机用计算科学模拟飓风，使科学家能够看到飓风内部,地震能否被有效模拟和预测？,11/38,11,三、计算思维是大学计算教育振兴路径,(1),大学计算机基础教育主要性,大学,通识教育,（,Liberal Studies,）是大学人才培养主要任务,大学教育不能局限于基本知识传授，要培养：,学生理性,思维能力,学生对,科学精神,追求,学生,高尚人格,通识教育三大特征（复旦杨玉良校长）,通识教育要同时传递,科学精神,和,人文精神,通识教育要展现不一样文化、不一样学科,思维方式,通识教育要充分展现,学术魅力,大学计算机教育三种能力培养,使用计算机,基本能力,（,Computer,Literacy,）培养,了解计算机系统,熟练能力,（,Computer,Fluency,）培养,训练有素,计算思维能力,（,Computational,Thinking,）培养,计算思维能力培养是大学通识教育主要组成部分,国家明确定位计算机基础课程是和数学、物理等同地位,基础课程,。,计算机不但为不一样专业提供了处理专业问题有效方法和伎俩，而且提供了一个独特处理问题,思维方式,。,熟悉使用计算机及互联网，为人们终生学习提供了辽阔空间以及良好学习工具与环境。,12/38,12,三、计算思维是大学计算教育振兴路径,(2),大学计算机基础教学存在问题,计算机教育危机,因特网普遍发展，使计算机科学与技术展现了,泛在化,、,平民化,趋势。,计算机易用性和本身技术巨大进步，使很多人质疑大学计算机教育必要性。,很多人将计算机科学等同于计算机编程，,淡化了,计算机,科学意义,，,减弱了计算机学科内涵,。,我国情况,“,狭义工具论,”课程：“狭义工具论”认为教计算机基础就是教些计算机工具及其使用方法。,“,浓缩版,”教材：教材基本上是相关领域浓缩版，学生进入大学后，对第一门计算机课程兴趣不大，逃课率相当高。,计算机基础课教学课时被,压缩,，教学资源配置不充分，课程面临被,淘汰,危机。,13/38,13,三、计算思维是大学计算教育振兴路径,(3),美国情况,学生学习计算机课程情况,：,年,11,月，美国,Naval Postgraduate School,Peter Denning,教授在,CACM,上发表,Great Principles of Computing,一文介绍了这种情况：,在大学第一门计算机课程（主要指“程序设计语言”作为第一门计算机课程）学习过程中，有,35-50%,学生中途放弃,。另外，不少学生还经过剽窃或者是,作弊,方式来完成课程。,毕业生工资情况：,年,11,月，美国,Computing Research News,登载一篇名为,科学与工程专业毕业生工资,汇报：,早期，在美国科学领域各学科中，计算机与信息科学专业毕业生平均年工资最高，学士人均年工资为,45,000,美元，硕士人均,60,000,美元。,14/38,14,三、计算思维是大学计算教育振兴路径,(4),学生主修计算机专业情况：,加州大学洛杉矶分校发觉学生对计算专业兴趣波动很大，,后普遍下降,。,15/38,15,三、计算思维是大学计算教育振兴路径,(5),计算思维在美国,计算思维在美国产生背景：,PITAC,汇报,年,6,月，,美国总统信息技术咨询委员会,(Presidents Information Technology Advisory Committee,，,PITAC),给美国总统提交了汇报,计算科学,：,确保美国竞争力,(Computational Science:Ensuring Americas Competitiveness),。,汇报陈说,：,即使计算本身也是一门学科，不过其含有,促进,其它学科,发展作用,。,二十一世纪科学上最主要、经济上最有前途研究前沿都,有可能经过熟练掌握先进计算技术和利用计算科学而得到处理,。,汇报认为,：,如今美国又一次,面临了挑战,，这一次挑战比以往来得愈加广泛、复杂，也更具长久性。,美国,还没有认识到计算科学,在社会科学、生物医学、工程研究、国家安全，以及工业改革中,中心位置,。,这种认识不足将,危及,美国科学,领导地位,、,经济竞争力,以及,国家安全,。,汇报提议,：,将计算科学,长久置于,国家科学与技术领域中心,领导地位,。,16/38,16,三、计算思维是大学计算教育振兴路径,(6),美国,NSF,BPC,(Broadening Participation in Computing),计划,美国,NSF,计算机与信息科学和工程,CISE,(Computer&Information Science&Engineering),学部,年率先开启了“,扩大计算参加面,”计划，它经过扩大计算参加对象，使更多人，尤其是美国少数民族和妇女受益。,美国,NSF,CPATH,(CISE Pathways to Revitalized undergraduate Computing Education),计划,目标,促成造就含有基本计算思维能力、在全球有竞争力美国,劳动大军,，确保美国在全球创新企业领导地位。,将,计算思维,学习机会,融入,到计算机、信息科学、工程技术和其它领域本科教育中，以,增强开发,含有计算思维能力,学生人数,。,展示突破性、可在多类学校中推广、以计算思维为关键,本科教育模式,。,现实状况,CPATH,计划认为：尽管有研究机构和大学对此做出了卓越、开创性工作，但当前美国更多,大学计算教育依然沿袭是几十年前教学模式,。,17/38,17,三、计算思维是大学计算教育振兴路径,(7),CPATH,项目：,年开启，当年投入,600,万美元,年投入,500,万美元,年投入,1000,万美元,CPATH,项目情况介绍：,.4-.4,共同意,26,项，其中,CT with K-12 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,项,美国,NSF,CE21,(Computing Education for 21st Century),计划,年度,NSF,开启了,CE21,计划，计划是建立在,CPATH,计划成功基础上，其目标是提升,K-14,（中小学和大学一、二年级）老师与学生计算思维能力。,18/38,18,三、计算思维是大学计算教育振兴路径,(8),计算思维在我国,中国高等学校计算机基础课程教指委近期工作,.05,：在,合肥,会议上,讨论了,培养高素质研究性人才，“计算机基础”这门课程应该包含哪些内容，怎样将计算思维融入到这门课程中？,.07,：在,西安,会议上,发表了,九校联盟,(C9),计算机基础教学发展战略联合申明,，,确定了,以计算思维为关键计算机基础课程教学改革。,.09,：在,太原,会议上,决定了,将合肥会议和西安会议中相关计算思维讨论形成书面材料，以“计算思维：确保学生创新能力”为主题向教育部领导谏言和申请立项研究。,.11,：在,济南,会议上，将在全国更大范围内，深入讨论以计算思维为关键基础课教学改革，并将太原会议初步材料加以讨论和修改后正式上报教育部袁贵仁部长，并“以计算思维能力培养为关键推进大学通识教育改革研究与实践”为项目，,提议立项研究,。,.06,：在,北京,“以计算思维为导向计算机基础课程建设”研讨会上，组织相关高校,围绕“计算思维实质”和“怎样在计算机基础教学第一门课程中表达计算思维能力培养”进行了广泛,讨论。,19/38,19,三、计算思维是大学计算教育振兴路径,(9),.08,：在,深圳,召开了计算机基础课程教指委高层研讨会（第,6,次工作会议），主要研究以计算思维为主题向教育部、科技部、国家自然基金委,申请立项研究,计算思维事宜。,.11,：在,杭州,召开了计算机基础课程教指委第,7,次工作会议，主要审定第,6,次工作会议确定三个立项汇报，最终向教育部、科技部、国家自然基金委提交正式申请汇报。,.01,：在深圳召开了计算机基础课程教指委第,8,次工作会议，会议期间举行了“计算机素质教育论坛”，深入交流了大学计算机素质教育方方面面，探讨了计算文化、计算科学、计算思维在大学计算机素质教育中主要作用。,.03,：在深圳大学召开了教指委第九次工作会议，集中讨论了“基于计算思维复杂系统计算抽象理论与方法”重大项目立项提议审定工作，会议决定在再次修改后于,3,月底正式向国家自然基金委提交。,.05,：在西安,计算思维课程在部分中国高校中正式开始实践,年秋季，在上海交通大学,年春季，在南方科技大学,年春季，在西安交通大学,年秋季，在深圳大学,20/38,20,三、计算思维是大学计算教育振兴路径,(10),实例研究：大学计算思维课程总体框架,基本框架,计算理论：可计算性与计算复杂性。,算法和通用程序设计语言。,实践基础：计算机硬件和软件最小知识集。,内容规划,计算思维基础知识,基本概念,：,什么是科学、思维、学科？科学与思维，理论思维，试验思维，计算思维。,科学发觉第三支柱,：,科学发觉三大支柱（理论科学、试验科学、计算科学），计算科学作用（,PITAC,汇报），名人名言（,H.Davy,化学家,),。,计算科学与计算机科学以及计算机学科：,什么是计算科学？什么是计算机科学？什么是计算机学科？计算机学科发展历程（,EE,、,CE,、,CS,、,SE,、,IT,、,IS,）。,计算思维：,什么是计算思维？例子、主要特征（它是什么？它不是什么？）、对其它学科影响（生物学、脑科学、化学、地质学、数学、工程技术、经济学、社会科学、医学、法律、娱乐、艺术、体育、教育,）。,热身问题：,20,次猜测、七桥问题、国王婚姻、汉诺塔、旅行商问题,21/38,21,三、计算思维是大学计算教育振兴路径,(11),计算理论和计算模型,人类对计算本质认识过程,计算伎俩应该,器械化,（算盘、手摇计算机、微分机、模拟机等）,计算过程应该,形式化,（图灵模型）,计算执行应该,自动化,（冯,诺依曼模型）,计算理论,函数及其计算,图灵机,通用,Bare Bones,语言,不可计算函数与停机问题,计算复杂性（多项式与多项式函数，,P,类问题，,NP,类问题，,NPC,类问题）,冯,诺依曼计算机模型,计算机体系结构,-,机器指令与机器语言,汇编语言程序执行举例,-,虚拟机,计算数学理论,计算理论,：包含算法理论、可计算性理论、计算复杂性理论等。,高等逻辑,：包含模型论（研究逻辑系统语义，结构形式系统模型）和非经典逻辑（研究时序逻辑、模态逻辑、概率逻辑、含糊逻辑、归纳逻辑、非单调逻辑等）。,形式语言与自动机,：包含形式语言（研究语言语法,(,词法和文法,),和结构性结构）和自动机（研究各种能自动处理符号数学机器）。,形式语义学,：主要指用数学方法研究计算机程序设计语言语义（包含操作语义、指称语义、公理语义和代数语义等）。,计算机科学数学基础：离散数学,数理逻辑,：包含命题逻辑概念、等值演算与推理，一阶逻辑概念、等值演算与推理等。,集合论,：包含集合代数，二元关系，函数和集合基数等。,代数系统,：包含代数系统群、环、域，格与布尔代数等。,图论,：包含图基本概念（通路、回路、连通性、矩阵表示等）、欧拉图与哈密尔顿圈，树，平面图及图着色，支配集、覆盖集、独立集与匹配等。,22/38,22,三、计算思维是大学计算教育振兴路径,(12),算法基础,算法历史,算法定义和特征,定义（求解问题方法和步骤）,特征（确定性、有穷性、可行性、输入,/,输出量等）,基本表示,自然语言、流程图、伪代码、程序语言,算法设计,数值算法与非数值算法设计，确定性算法与随机算法设计,算法分析,复杂度度量（时间复杂度、空间复杂度等）,复杂度分析（最坏情况分析、平均情况分析）,复杂度函数（上界、下界、准确界函数）,23/38,23,三、计算思维是大学计算教育振兴路径,(13),通用程序设计语言,目标与作用：,表达算法原理，表述算法实现步骤。,不要求语言在机器上编译运行。,类,-Algol,语言：,不要求变量类型说明等语句。,含有描述算法实现最基本语句：赋值语句、循环控制语句、基本运算语句等。,Bare Bones,基本语言,含有最基本运算语句：清零、增一、减一、循环控制等语句。,含有通用性：能表示图灵可计算函数，依据丘奇,-,图灵论题，任何可计算函数均可用,Bare Bones,语言编写程序。,Haskell,纯函数语言,不一样于描述计算怎样进行,命令式,（,Imperative,）语言（,C,、,Java,、,ada,、,pascal,）。,函数式语言,（,Functional Language,）（,Lisp,、,Haskell,、,Ocam,）是定义怎样将输入数据转换为输出数据计算什么语言。,命令式语言,Haskell,语言,total=0,for(i=1;i=10;i+)sum1.10,total+=i,24/38,24,三、计算思维是大学计算教育振兴路径,(14),计算机硬件基础,布尔逻辑与门电路,布尔逻辑和运算,门电路基础,数制与运算,各种数制转换,数据存放与表示,存放容量单位,ASCII,码,原码、反码和补码,计算机组成,CPU,主存、外存和存放体系,I/O,设备,指令系统及执行,25/38,25,三、计算思维是大学计算教育振兴路径,(15),计算机软件基础,软件分类,操作系统,操作系统定义和功效,操作系统历史、分类和常见操作系统,竞争控制,数据库系统,数据库系统基础,关系模型,数据挖掘入门,办公软件介绍,Word,Excel,PowerPoint,Access,教学步骤,课堂讲授：自编参考教材,课堂练习：不掉电计算机科学,课堂讨论：拓展知识、前沿,课程考评：笔试 口试 小论文,26/38,26,四、计算思维与科学发觉和技术创新,(1),美国,NSF,EHR&CISE,学部：,美国,NSF,EHR,(Education&Human Resources),局使命,为,21,世纪,培养和造就科学家,、技术人员、工程师、数学家和教育工作者等范围广泛、,训练有素劳动大军,，以及含有科学素质、能够把握科学技术思想和工具,当代公民,。,支持全部科学与工程领域中教育、研究以及基础设施（,Infrastructure,）开发。,提升全体公民,生活质量,，提升国家健康、繁荣、福祉和安全。,美国,NSF,CISE,(Computer&Information Science&Engineering),局使命,在计算机与信息科学及工程方面使美国保持,世界领先地位,。,促使了解和利用先进计算机、通信和信息系统，为全社会,提供服务,。,27/38,27,四、计算思维与科学发觉和技术创新,(2),对计算思维深入了解,：,计算思维是利用泛指计算（,CS,、,CE,、,C,、,IS,、,IT,等）基础概念，求解问题、设计系统、了解人类行为一个,方法,（,Approach,），是一类,Analytical Thinking,。它适用（,Share,）了数学思维（求解问题方法）、工程思维（设计、评价大型复杂系统）和科学思维（了解可计算性、智能、心理 和人类行为）。,计算时抽象概念比数学、物理科学中意义要丰富和复杂；抽象是分层（为此要定义介面和关系）；抽象最终要在受限物理世界中实现；,Abstractions are the mental,tools of computing.The power of the mental tools is amplified by the power of metal tools,。,计算是抽象自动执行；自动化隐含着需要某类计算机（能够是机器或人，或二者组合）去解释抽象。,从操作侧面上，计算包括到回答“怎样寻找一台计算机去求解问题？”隐含地回答此问题就是确定适当抽象，选择适当某类计算机去解释执行该抽象，后者过程就是自动化。所以计算思维本质是抽象与自动化（,2A,）。,计算三种驱动力是科学、技术和社会，三者相互作用影响：科学发觉催生技术创造促进社会应用；反之，技术创造产生新社会应用促进新科学发觉。,28/38,28,四、计算思维与科学发觉和技术创新,(3),问题求解、系统设计和行为了解中计算思维,求解问题中计算思维,利用计算伎俩求解问题过程,首先要把实际应用问题,转换,为数学问题（可能是一组,PDE,）,其次将,PDE,方程,离散化,为一组代数方程组,然后建立模型、设计算法、编程,实现,最终在详细计算机上,运行,求解,计算求解问题过程中计算思维,中前两步可谓是计算思维中,抽象,(Abstract),中后两步可谓是计算思维中,自动,(Atomation),设计系统中计算思维,Karp,观点：任何自然系统和社会系统都可视为一个动态演化系统，演化伴伴随物质、能量和信息交换，这种交换可映射（也就是抽象）为符号变换，使之能利用计算机进行离散符号处理。,当动态演化系统,抽象,为离散符号系统之后，就可采取形式化规范描述，建立模型、设计算法、开发软件，来揭示演化规律，并实时控制系统演化，,自动,执行，这就是计算思维中,自动化,。,29/38,29,四、计算思维与科学发觉和技术创新,(4),了解人类行为中计算思维（利用计算基础概念,-,计算机网络科学去了解人在网络环境下行为）,人类所处环境变迁与人类行为表现,封建社会自给自足封闭式环境,资本主义社会开放环境,近代社会网络环境,利用计算伎俩来研究人类行为，可视为社会计算,(Cyber-Society Computing),，即经过各种信息技术伎俩，设计、实施和评定人与环境之间交互。,社会计算包括到人们交互方式、社会群体形态及其演化规律等问题。硕士命起源与繁衍，了解人类认识能力，了解人类与环境交互，研究传染病毒结构与传输以及国家福利与安全等等都属社会计算范围，这些都与（计算）思维科学亲密相关。,使用计算思维观点对当前社会计算中一些关键问题进行分析与建模，尝试从计算思维角度重新认识社会计算，找出新问题、新观点和新方法等。,30/38,30,四、计算思维与科学发觉和技术创新,(5),美国,CISE,局开启,CDI(Cyber-Enabled Discovery and Innovation),计划,目标、项目与财年,年,NSF,开启了“,经过网络实现科学发觉与技术创新,”,(CDI),5,年研究计划，是实现计算思维第一个美国,NSF,重大计划。,目标,：经过计算思维,创新和进步,（包含概念、方法、模型、算法、工具和系统等），对科学与工程领域产生,新了解,、,新模式,，创造革命性,研究结果,。,项目与财年,：,年同意了共,72,个项目，经费为,4200,万美元；,年投入了,3300,万美元；,年预算为,5000,万美元，后增加了,1637,万美元。,年度,CDI,计划,“,网络物理系统,”（,CPS,）：,CPS,包含自动汽车、智能高效能建筑物、嵌入式医疗设备、辅助老年人技术、提升生活质量机器人等。,数据密集型计算,探索新基础数学和计算抽象科学以表征和管理数据。,支持科学与工程应用中数据挖掘、数据整合和数据提取等跨学科项目。,开展数据可视化和数据公布工具基础科学研究。,新兴数据密集型计算模式,云计算研究。,31/38,31,四、计算思维与科学发觉和技术创新,(6),CDI,计划支持三大主题,从数据到知识,（,From Data to Knowledge,）：促进人类认识和从丰富异构数字化数据中产生新知识。,了解自然、人工和社会系统复杂性,（,Understanding Complexity in Natural,Built,and Social Systems,）：对此三大系统产生根本性认识。,虚拟组织,（,Virtual Organizations,VO,）：将不一样结构、不一样地域和不一样文化人群和资源联络在一起，进行科学发觉和创新。,32/38,32,四、计算思维与科学发觉和技术创新,(7),研究示例,网络科学,（,Network Science,）：,网络科学系从经济理论、多尺度分析、网络信息理论等衍生出来。,需要发展基础理论来开发、了解、建模和分析大规模复杂异构网络工具。,这么网络，包含,Internet,网,（跨地域，跨人工、社会和自然系统）、,生物网络,（对它了解还很初级）和,复杂耦合网络,（包含通信系统、人类大脑和社会网络）等。,网络科学覆盖了,CDI,三大主题：,大量跨越多时空尺度网络数据集知识模式。,人工、社会和自然网络表达了复杂系统交互。,由网络组成虚拟组织本身在不一样交互尺度反过来来研究网络。,虚拟试验室,（,Virtual Laboratory,）,高中老师和学生能够经过所提供建模与仿真系统虚拟试验室来共同探索科学。,他们可在虚拟试验室调研相关知识；也能够与远程班级互动。,这种对科学教育创新方法，有赖于安全虚拟组织突破和多学科交叉方法等。,33/38,33,四、计算思维与科学发觉和技术创新,(8),计算思维研究在我国：,年国家科技计划信息技术领域备选项目推荐指南里“基础研究类”先进计算中，我国学者推荐立项开展“新一代软件方法学及其对计算思维支撑机理”研究。,中国高等学校计算机基础课程教学指导委员会从,年下六个月开始在合肥、济南、北京、深圳和杭州等会议上分别向教育部、基金委、科技部等提议立项开展“计算思维：确保学生创新能力”和“基于计算思维复杂计算系统认知构建”研究。,34/38,34,五、结论,(1),科学思维是一切科学研究和技术发展创新灵魂；科学思维普通包含推理思维、实证思维和计算思维；计算思维不但能振兴大学计算教育，而且会令科学与工程领域创造出革命性,(Transformative),研究结果。,计算思维能改变大学计算机教育依然沿袭几十年教学模式，是大学计算教育振兴,(Revitalized),路径。可培养造就含有计算思维能力、训练有素科技人才、劳动大军和当代公民。,经过多学科方法，使用计算思维在计算概念、方法、模型、算法、工具与系统等创新和进步，或者创新地使用计算概念、方法、模型、算法、工具与系统等，对科学与工程领域产生新了解、新模式，从而可创造出革命性研究结果。,计算思维代表着人们一个普遍认识和一类普适能力，不但仅是计算机科学家，而是每一个人都应该热心地学习和利用它。,计算思维大学课程，不但仅是面向计算机科学专业，而是面向全部专业。一个人可主修英语或数学等，而工作可从事于各行各业；计算机科学也一样，一个人可主修计算机科学，而接着从事任何类型工作。我们应该激发学生对计算机科学兴趣、热爱和探索，主动传输计算机科学高兴、高尚和力量，致力于使计算思维成为公众常识，真正融入人类一切活动中。,35/38,35,五、结论,(2),我们应该主动行动起来，纠正计算机科学等同于计算机编程和认为计算机科学基础理论已完成剩下只是工程问题错误观点，改变我们计算机科学社会形象。当我们这么做时，计算思维就是引导着计算机教育家、研究者和实践者们一个宏大愿景！“事在当代，利在千秋”！,关于计算思维研究：,计算思维是利用计算基础概念,(Fundamental Concepts),求解问题、设计系统和了解人类行为一个方法,(Approach),。计算思维是人类求解问题一条路径。尽管对计算思维了解也有不一样看法，不过我们认为，现在
展开阅读全文
浙ICP备2021020529号-1 | 浙B2-20240490 
