计算机科学导论之二.pptVIP

第二讲∶计算机科学的内容 计算学科的根本问题 三个学科形态 主要领域基本问题 典型问题示例 计算机科学的根本问题 计算机科学与计算科学 定义：计算学科是对描述和变换信息的算 法过程，包括对其理论分析、设计、 效率实现和应用等进行的系统研究。 计算学科的根本问题 计算学科的根本问题是什么能被有 效地自动进行。 计算学科中的3个学科形态 抽象形态 学科中的抽象形态包含着学科中所具有的科学概念、科学符号和思想模型。按客观现象的研究过程，抽象形态包括以下4个步骤的内容： 1）形成假设 2）建造模型并作出预测 3）设计实验并收集数据 4）对结果进行分析 计算学科中的3个学科形态 理论形态 理论是经过实践检验的系统化了的科学知识体系，由科学概念、科学原理以及对这些概念原理的理论论证所组成的体系。在计算学科中，理论形态包括以下4个步骤的内容： 1）表述研究对象的特征定义和公理 2）假设对象之间的基本性质和对象之间可能存在 的关系定理 3）确定这些关系是否为真证明 4）结论 计算学科中的3个学科形态 设计形态 设计形态具有较强的实践性，社会性和综合性。在计算学科中，从为解决某个问题而实现系统或装置的过程来看，设计形态包括以下4个步骤的内容： 1）需求分析 2）建立规格说明 3）设计并实现该系统 4）对系统进行测试与分析 计算学科中的3个学科形态 三种形态关系 设计、抽象和理论3个形态针对具体的研究领域均起作用，在具体研究中，就是要在其理论的指导下，运用其抽象工具进行各种设计工作，最终的成果将是计算机的软硬件系统及其相关资料。 抽象源于现实世界 理论源于数学 设计源于工程 计算机学科各主领域的基本问题 离散结构 主要内容：包括集合论、数理逻辑、近世代数、图论、以及组合数学等。 计算机学科各主领域的基本问题 程序设计基础 1）主要内容：包括程序设计结构、算法、问 题求解和数据结构等 2）基本问题主要包括： 对给定的问题，如何进行有效的描述并给 出算法？ 如何正确选择数据结构？ 如何进行设计、编码、测试和调试程序？ 计算机学科各主领域的基本问题 算法与复杂性 1) 主要内容：包括算法的复杂度分析、典型的算法策略、分布式算法、并行算法、可计算理论、自动机理论、密码算法等 2）基本问题主要包括 对于给定的问题类，最好的算法是什么？要求的存储空间和计算时间有多少？空间和时间如何折衷？算法最好和最坏的情况是什么？ 算法的通用性如何？ 计算机学科各主领域的基本问题 体系结构 1) 主要内容：包括数字逻辑数据的机器表示、汇编级机器组织、存储技术、接口和通信、性能优化网络和分布式系统的体系结构等 2）基本问题主要包括: 实现处理器内存和机内通信的方法是什么？ 如何设计和控制大型计算系统？ 哪种类型的体系结构能够有效地包含许多在一个计算中能够并行工作的处理元素？ 计算机学科各主领域的基本问题 操作系统 1）主要内容：包括操作系统的逻辑结构、并发处 理资源分配与调度、存储管理、设备管理等 2）基本问题主要包括： 在计算机系统操作的每一个级别上，可见的对象和 允许进行的操作各是什么？ 对于每一类资源能够对其进行有效利用的最小操作 集是什么？ 如何组织接口才能使得用户只需与抽象的资源而非 硬件的物理细节打交道？ 作业调度、内存管理、并发任务间的通信等。 计算机学科各主领域的基本问题 网络计算 1）主要内容：包括计算机网络的体系结构、网络安 全、网络管理、无线和移动计算，以及多媒体数 据技术等 2）基本问题主要包括 网络中的数据如何进行交换？网络协议如何验证？ 如何保证网络的安全？ 分布式计算的性能如何 评价？ 分布式计算如何组织才能够使通过通信 网连接在一起的自主计算机参加到一项计算中？ 计算机学科各主领域的基本问题 程序设计语言 1）主要内容：包括程序设计模式、类型系统、执行控制模型、语言翻译系统、程序设计语言的语义学等 2）基本问题主要包括 语言（数据类型、操