计算机科学及导论 第1章 概述.ppt

服务器（Server） 一种在网络环境下为多个用户提供服务的共享设备。 可分为文件服务器、通信服务器、打印服务器等。 IBM z 系列z900 服务器 IBM z 系列z990 服务器 1.3.2 计算机的发展趋势 网络计算机（net computer） 一种在网络环境下使用的终端设备，其特点是内容量大、显示器的性能高、通信功能强，但本机中不一定配置外存，所需要的程序和数据存储在网络的服务器中。 1.3.2 计算机的发展趋势 1.4 计算机科学与技术学科概述1.4.1 计算学科的定义 计算学科是对描述和变换信息的算法过程，包括对理论分析、设计、效率、实现和应用等进行的系统研究。它来源于对算法理论、数理逻辑、计算模型、自动计算机器的研究，并与存储式电子计算机的发明一起形成于20世纪40年代初期。 计算学科的研究包括了从算法与可计算性的研究到根据可计算硬件和软件的实际实现问题的研究。这样，计算学科不但包括从总体上对算法和信息处理过程进行研究的内容，也包括满足给定规格要求的有效而可靠的软硬件设计—它包括所有科目的理论研究实验方法和工程设计。 1.4.2 计算学科的本质 计算学科的根本问题是“什么能被有效地自动进行？”。 计算学科的根本问题讨论的是能行性的有关内容，而凡是与能行性有关的讨论都是处理离散对象的。因为非离散对象(连续对象)是很难进行能行处理的，因此能行性这个计算学科的根本问题决定了计算机本身的结构和它处理的对象都是离散型的，许多连续型的问题也必须在转化为离散型问题以后，才能被计算机处理。例如计算定积分就是把它变成离散量，再用分段求和的方法来处理的。 美国计算机协会(ACM)和美国电气和电子工程学会计算机分会(Institute of Electrical and Electronics Engineers-Computer Society：IEEE-CS)发布了“计算学科2001教程(Computing Curricula 2001：CC2001)”，中国计算机学会和阿全国高等学校计算机教育研究会在学习和研究了CC2001教程后，发布了《中国计算机科学与技术学科教程2002》(China Computing Curricula 2002：CCC2002)，提取了计算学科中具有方法论性质的12个核心概念。 1.4.2 计算学科的本质 绑定(Binding)、大问题的复杂性(Complexity of Large Problems)、概念和形式模型(Conceptual and Format Models)、一致性(Consistency)和完备性(Completeness)、效率(Efficiency)、演化(Evolution)、抽象层次(Levels of Abstraction)、按空间排序(Ordering in Space)、按时间排序(Ordering in Time)、重用(Reuse)、安全性(Security)、折衷(Tradeoff)和结论(Consequences)。 1.4.2 计算学科的本质 1.4.3 计算学科的三个过程 计算学科的实质是学科方法论的思想，其关键问题是抽象、理论和设计三个过程相互作用的问题。 理论 抽象 设计 1.4.4 计算学科新的应用领域及未来的发展 Internet带来的深刻影响 多媒体技术带来的新的应用领域 嵌入式系统 人工智能 1.5 计算机科学与技术学科的知识体系1.5.1 计算机科学与技术学科的形成与发展 计算机科学是从电子学、科学、数理逻辑和计算数学的交界处发展起来的。 CC2001和CC2002教程鼓励计算机科学和工程中教学计划的多样性，并要求有公共内核，该内核定义成一系列知识单元，可用这些知识单元组合课程。 CC2001和CCC2002教程中把学科所包含的教学内容归结为14个知识体，提炼出了更精简的核心知识单元。 为了适应目前技术和应用的需要，CC2001和CCC2002教程提出把原来的计算学科划分成计算机科学、计算机工程、软件工程、信息系统等四个方向，并准备分别制订各自的教学计划纲要。 1.5.1 计算机科学与技术学科的形成与发展 1.5.2 计算机科学与技术学科定义 计算机科学与技术借鉴数学的公理化思想来全面阐述了计算学科的科学问题，抽象、理论和设计三个学科形态，计算学科的核心概念、科学方法等，阐明了计算学科各主领域发展的基本规律及各领域的内在联系，构建了一个系统化、逻辑化的认知模型，让人们清晰透彻地了解了学科脉络，从整体上把握学科的学习研究方法。 计算机科学方法论有助于人们正确理解计算学科中所蕴涵的科学思维方法，总结和提升计算学科所积累的各种方法和经验，树立正确的思想原则，把握正确的研究方向