对计算机的定义你有何认识呢,认识计算机学科.ppt

认识计算机学科

认识计算机学科 内容概要 计算机学科的根本问题——什么是计算机学科 什么是计算 计算机学科的定义 什么是计算 图灵(Alan Turing):所为计算就是计算者(人或机器)对一条可以无限延长的工作带上的符号串执行命令，一步一步地改变工作带上的符号串，经过有限步骤，最后得到一个满足预先规定的符号串的变换过程。 图灵的研究成果是：可计算性=图灵可计算性 用图灵模型来计算 构造一个识别符号串ω＝anbn(n≥1)的图灵机 基本思想：使读写头往返移动，每往返移动一次，就成对地对输入符号串ω左端的一个a和右端的一个b匹配并做标记x。如果恰好把输入符号串ω的所有符号都做了标记，说明左端的符号a和右端的符号b的个数相等；否则，说明左端的符号a和右端的符号b的个数不相等，或者符号a和b交替出现。 用图灵模型来计算 假定n＝2，输入符号串ω＝aabb 用图灵模型来计算 字母表：{a, b, B} 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 用图灵模型来计算 图灵机反映的是一种具有能行性的用数学方法精确定义的计算模型 而现代计算机正是这种模型的具体实现 科学与学科 科学是关于自然、社会和思维的发展与变化规律的知识体系，是由人类在生产活动和社会活动中产生和发展的，是人类实践经验的结晶。 科学是逐步发展起来的 科学的发展需要某种特殊的方法 科学在不断超越中永无止境地发展 科学与学科 学科本身具有二重含义： 指知识体系或学术分类，含义较广； 指为培养人才而设立的教学科目。 科学与学科 科学研究是以问题为基础的，学科是在科学发展中不断分化和整合而形成和发展的，是科学研究发展成熟的产物。 科学研究发展成熟而成为一个独立学科的标志是：必须有独立的研究内容、成熟的研究方法、规范的学科体制。 计算机学科的定义 计算机学科是对描述和变换信息的算法过程，包括对其理论、分析、设计、效率、实现和应用等进行的系统研究。它来源于对算法理论、数理逻辑、计算模型、自动计算机器的研究，并与存储式电子计算机的发明一起形成于20世纪40年代初期。 计算机学科的特点 计算机学科包括科学和技术两个方面。 科学侧重于研究现象、揭示规律； 技术则侧重于研制计算机、研究使用计算机进行信息处理的方法与技术手段。 科学是技术的依据，技术是科学的体现。 二者高度融合是计算机科学与技术学科的突出特点。 计算机学科是一门科学性与工程性并重的学科，表现为理论和实践紧密结合的特征。 计算机学科的特点 科学：关于自然、社会和思维的发展与变化规律的知识体系，其核心是发现。 技术：根据实践经验和科学原理而发展形成的各种工艺操作方法、技能和技巧，其核心是发明。 工程：将科学原理应用到生产实践中，是某种形式的科学应用，其核心是建造 什么是科学问题 科学问题是指一定时代的科学认识主体，在已完成的科学知识和科学实践的基础上，提出的需要解决且有可能解决的问题，它包含一定的求解目标和应答域，但尚无确定的答案。科学问题具有如下主要特征： (1)时代性 (2)混沌性 (3)可解决性 (4)可变异性 (5)可待解性 科学问题的提出和解决是任何一个学科持续发展的动力。 计算机学科的科学问题 1. 计算的平台与环境问题 核心：计算问题的能行性 2. 计算过程的能行操作与效率问题 核心：算法及算法分析 3. 计算的正确性问题 核心：各种语言的语义 上述基本问题普遍出现在学科的各个分支学科和研究方向之中，是学科研究与发展中经常面对而又必须解决的科学问题。 计算机学科的经典问题 经典问题是指那些反映学科某一方面内在规律和本质内容的典型问题。 经典问题往往以深入浅出的形式表达学科深奥的科学规律和本质内容，在学科研究中常常用来辅助说明思想、原理、方法和技术。 GOTO语句问题与程序设计方法学 1968年，计算机科学家狄杰斯特拉首次提出了GOTO语句是有害的。 1974年，计算机科学家克努斯发表论文《带有GOTO语句的结构化程序设计》作了较全面而公正的论述。 GOTO语句问题与程序设计方法学 滥用GOTO语句是有害的，完全禁止也是不明智的，在不破坏程序良好结构的前提下，有限制地使用GOTO语句，有可能使程序更清晰、效率更高。 哥尼斯堡七桥问题与图论 哥尼斯堡七桥问题与图论 欧拉回路的判定规则： (1)如果通奇数桥的地方多于两个，则不存在