计算机科学与技术计算思维,计算思维-南京航空航天大学计算机科学与技术学院.ppt...

计算思维-南京航空航天大学计算机科学与技术学院.ppt

三、计算思维是大学计算教育振兴的途径(9) 2011.08：在深圳召开了计算机基础课程教指委高层研讨会(第6次工作会议)，主要研究以计算思维为主题向教育部、科技部、国家自然基金委申请立项研究计算思维事宜。 2011.11：在杭州召开了计算机基础课程教指委第7次工作会议，主要审定第6次工作会议确定的三个立项报告，最终向教育部、科技部、国家自然基金委提交正式申请报告。 2012.01：在深圳召开了计算机基础课程教指委第8次工作会议，会议期间举行了“计算机素质教育论坛”，深入交流了大学计算机素质教育的方方面面，探讨了计算文化、计算科学、计算思维在大学计算机素质教育中的重要作用。 2012.03：在深圳大学召开了教指委第九次工作会议，集中讨论了“基于计算思维的复杂系统计算抽象理论与方法”重大项目立项建议的审定工作，会议决定在再次修改后于3月底正式向国家自然基金委提交。 2012.05：在西安 计算思维课程在部分中国高校中正式开始实践 2010年秋季，在上海交通大学 2011年春季，在南方科技大学 2011年春季，在西安交通大学 2011年秋季，在深圳大学 · · · * 三、计算思维是大学计算教育振兴的途径(10) 实例研究：大学计算思维课程总体框架 基本框架 计算理论：可计算性与计算复杂性。 算法和通用程序设计语言。 实践基础：计算机硬件和软件最小知识集。 内容规划 计算思维基础知识 基本概念：什么是科学、思维、学科？科学与思维，理论思维，实验思维，计算思维。 科学发现的第三支柱：科学发现的三大支柱(理论科学、实验科学、计算科学)，计算科学的作用(PITAC 2005报告)，名人名言(H. Davy, 化学家)。 计算科学与计算机科学以及计算机学科：什么是计算科学？什么是计算机科学？什么是计算机学科？计算机学科发展的历程(EE、CE、CS、SE、IT、IS)。 计算思维：什么是计算思维？例子、主要特征(它是什么？它不是什么？)、对其他学科的影响(生物学、脑科学、化学、地质学、数学、工程技术、经济学、社会科学、医学、法律、娱乐、艺术、体育、教育…)。 热身问题：20次猜测、七桥问题、国王的婚姻、汉诺塔、旅行商问题… * 三、计算思维是大学计算教育振兴的途径(11) 计算理论和计算模型 人类对计算本质的认识过程 计算手段应该器械化(算盘、手摇计算机、微分机、模拟机等) 计算过程应该形式化(图灵模型) 计算执行应该自动化(冯·诺依曼模型) 计算理论 函数及其计算 图灵机 通用Bare Bones语言 不可计算函数与停机问题 计算复杂性(多项式与多项式函数，P类问题，NP类问题，NPC类问题) 冯·诺依曼计算机模型 计算机体系结构- 机器指令与机器语言 汇编语言程序的执行举例- 虚拟机 计算的数学理论 计算理论：包括算法理论、可计算性理论、计算复杂性理论等。 高等逻辑：包括模型论(研究逻辑系统的语义，构造形式系统模型)和非经典逻辑(研究时序逻辑、模态逻辑、概率逻辑、模糊逻辑、归纳逻辑、非单调逻辑等)。 形式语言与自动机：包括形式语言(研究语言的语法(词法和文法)和构造性结构)和自动机(研究各种能自动处理符号的数学机器)。 形式语义学：主要指用数学方法研究计算机程序设计语言的语义(包括操作语义、指称语义、公理语义和代数语义等)。 计算机科学的数学基础：离散数学 数理逻辑：包括命题逻辑的概念、等值演算与推理，一阶逻辑的概念、等值演算与推理等。 集合论：包括集合代数，二元关系，函数和集合的基数等。 代数系统：包括代数系统群、环、域，格与布尔代数等。 图论：包括图的基本概念(通路、回路、连通性、矩阵表示等)、欧拉图与哈密尔顿圈，树，平面图及图的着色，支配集、覆盖集、独立集与匹配等。 * 三、计算思维是大学计算教育振兴的途径(12) 算法基础 算法的历史 算法的定义和特征 定义(求解问题的方法和步骤) 特征(确定性、有穷性、可行性、输入/输出量等) 基本的表达 自然语言、流程图、伪代码、程序语言 算法的设计 数值算法与非数值算法的设计，确定性算法与随机算法的设计 算法的分析 复杂度度量(时间复杂度、空间复杂度等) 复杂度分析(最坏情况分析、平均情况分析) 复杂度函数(上界、下界、精确界函数) * 三、计算思维是大学计算教育振兴的途径(13) 通用程序设计语言 目的与作用： 体现算法的原理，表述算法的实现步骤。 不要求语言在机器上编译运行。 类-Algol语言： 不要求变量类型说明等语句。 具有描述算法实现最基本的语句：赋值语句、循环控制语句、基本运算语句等。 Bare Bones基本语言 具有最基本的运算语句：清零、增一、减一、循环控制等语句。 具有通用性：能表示图灵可计算函数，根据丘奇-图灵论题，任何可计算函数均可用Bar