计算机学科方法论课件.pptVIP

国内背景 专业设置 1956年哈尔滨工业大学首开计算装置与仪器专业。 经历了计算机及应用、计算机软件、计算机科学教育、计算机器件及设备等名称的变化。 1998年统一为计算机科学与技术专业。 从2001年开始又增设了软件工程和网络工程专业。 招生学校与人数 2004年全国有505所高校开办有计算机本科专业，在校学生数近30万人。 9.1.2计算机专业教学背景 国内背景 教学计划 2002年中国计算机学会计算机学科教程研究组发布 中国计算机科学与技术学科教程2002。 2006年教育部计算机教学指导委员会编制 高等学校计算机专业发展战略研究报告暨专业规范。 2008年教育部计算机教学指导委员会编制 高等学校计算机科学与技术专业公共核心知识体系与课程。 高等学校计算机科学与技术专业实践教学体系与规范。 9.1.2 计算机专业教学背景 计算的本质 计算机学科的根本问题 9.2 计算机学科的定义 9.2.1 计算的本质 图灵描述了计算的本质 计算就是计算者对一条两端可无限延长的纸带上的一串0和1执行指令；一步一步地改变纸带上的0或1；经过有限步骤, 最后得到一个满足预先规定的符号串的变换过程。 任一过程是能行的, 当且仅当它能够被一台图灵机实现。 图灵机反映的是一种具有能行性的用数学方法精确定义的计算模型，现代计算机正是这种模型的具体实现。 9.2.2 计算机学科的根本问题 计算机学科的定义 计算机学科是研究计算机的设计、制造和利用计算机进行信息获取、表示、存储、处理、控制等的理论、原则、方法和技术的学科，包括科学和技术两方面。 计算机科学侧重于研究现象、揭示规律。 计算机技术侧重于研制计算机和研究使用计算机进行信息处理的方法和手段。 科学与技术相辅相成，相互作用。 科学 技术 计算机学科还具有较强的工程性 理论教学与实践教学并重。 基础理论知识扎实/动手能力强。 计算机学科是科学性/工程性/技术性的统一 侧重点不同的学科分支 计算机科学/计算机工程/软件工程/信息技术。 计算机学科和数学密切相关 9.2.2 计算机学科的根本问题 9.3 计算机学科方法论 计算机学科方法论的定义 计算机学科方法论的主要内容 计算机学科方法论研究的意义 Computer Science 9.3.1 计算机学科方法论的定义 计算机学科方法论 对计算机领域认识和实践过程中一般方法及其性质、特点、内在联系和变化规律进行系统研究的理论总结。 是认知计算机学科的方法和工具，也是计算机学科认知领域的理论体系。 对于计算机领域的科学研究、技术开发和人才培养具有重要指导意义。 9.3.2 计算机学科方法论的主要内容 主要内容 学科的三个过程 抽象过程/理论总结过程/设计过程。 重复出现的12个核心概念 绑定/大问题的复杂性/概念和形式模型。 一致性和完备性/效率/演化/抽象层次。 按空间排序/按时间排序/重用/安全性/折衷和结论。 典型的学科方法 数学方法/系统科学方法。 9.3.3 计算机学科方法论研究的意义 重要意义 有助于总结经验，促进计算机学科的快速发展。 有助于确立正确的思维方式，把握正确的研究方向。 有助于计算机学科的建设和人才培养 。 9.4 计算机学科的三个过程 理论总结过程 科学理论是经过实践检验的系统化了的科学知识体系，它是由科学概念、科学原理以及对这些概念、原理的理论论证所组成的体系。 计算机学科的理论与数学所用的方法类似，主要要素为定义和公理、定理、证明、结果的解释。 用这一过程来建立和理解计算机学科所依据的数学原理。其研究内容的基本特征是构造性数学特征。 9.4 计算机学科的三个过程 抽象过程 抽象是指在思维中对同类事物去除其现象的、次要的方面，抽取其共同的、主要的方面，从而做到从个别中把握一般，从现象中把握本质的认知过程和思维方法。 抽象源于现实世界, 是对现实原型的理想化。 9.4 计算机学科的三个过程 设计过程 用来开发求解给定问题的系统和设备。 包括需求分析、建立规格说明、设计并实现系统、对系统进行测试分析、修改完善等内容。 三个过程贯穿计算机学科各个分支领域 图论中体现的是抽象与理论过程。 软件工程中综合体现了设计、抽象与理论三个过程。 9.5 计算机学科中的核心概念 绑定（Binding） 通过把一个抽象的概念和附加特性相联系，从而使抽象的概念具体化。 具体问题的抽象描述和抽象描述对具体问题的表示。 大问题的复杂性（Complexity of Large Problems） 随着问题规模的增长而使求解该问题的复杂性呈非线性增加的效应。 是区分和选择各种现有方法和技术的重要因素。 9.5 计算机学科中的核心概念 概念和形式模型（Conceptual and Format Models） 对一个想法或