计算机科学与导论思想与方法.pptVIP

第3章 3个学科形态 ? 抽象、理论和设计是计算学科中的3个学科形态，它反映了人们从感性认识到理性认识，再由理性认识回到实践的认识过程。 本章分别首先从一般科学技术方法论和计算学科的角度对抽象、理论和设计3个学科形态进行论述，并以“学生选课”为例，按“3个学科形态”对相关概念进行划分。 然后，以计算机语言的发展为主线，介绍学科的相关内容，包括自然语言与形式语言、图灵机和冯·诺依曼计算机、机器指令与汇编语言、计算机的层次结构、虚拟机、高级语言、应用语言和自然语言的形式化问题等。 最后，给出计算机科学14个分支领域抽象、理论和设计3个学科形态的主要内容。 3.1 引 言 “计算作为一门学科”报告在确定计算学科二维定义矩阵的“横向”关系时，最初有两种方案：一种是“模型（Model）”与“实现（Implementation）”相对；另一种是“算法（Algorithm）”与“机器（Machine）”相对。 两种方案都可以反映计算学科研究的基本内容。但是，在对分支领域有关概念归属于何种形态时，出现了分类界限模糊的问题。 后来，我们认识到，计算学科的基本原理已被纳入理论、抽象和设计3个过程中，学科的各分支领域正是通过这3个过程来实现它们的目标。因此，将其确定为学科的3个学科形态。 众所周知，人类的认识过程是从感性认识到理性认识，再回到实践中去的过程。 在计算领域，感性认识、理性认识、实践分别与抽象、理论和设计3个学科形态相比应。 我们将分别讲解 1、感性认识 2、理性认识 3、实践 4、并举一个“学生选课”的例子来阐述感性认识（抽象）、理性认识（理论）和实践（设计）。 1、感性认识 感性认识是采用一定的方式，以可感知的文字或图形等形式对客观事物的特征进行描述，并通过构建模型而实现。 感性认识包括两个方面的内容：一方面是感性认识的认识方法（或工具）的建立；另一方面是采用已建立起来的认识方法来实现对客观世界的感性认识。 感性认识对应于3个学科形态中的抽象。 2、理性认识 科学认识由感性阶段上升为理性阶段，就形成了科学理论。 科学理论是经过实践检验的系统化了的科学知识体系，它是由科学概念、科学原理以及对这些概念、原理的理论论证所组成的体系。 理论源于数学，是从抽象到抽象的升华，它们已经完全脱离现实事物，不受现实事物的限制，具有精确的、优美的特征，因而更能把握事物的本质。 理性认识对应于3个学科形态中的理论。 3、实践 对于计算机学科来说，我们需要形成设计，编写程序，解决实际问题，这就是实践。 实践源于工程，并用于系统或设备的开发，以实现给定的任务。 设计形态与抽象、理论两个形态存在的联系科学认识方法（抽象、理论两个形态），对具有设计形态的技术研究和技术开发是有作用的。 实践对应于学科形态中的设计。 4、 一个关于“学生选课”的例子 下面，我们举一个“学生选课”的例子，为计算机初学者学习和掌握学科方法论中最基本的内容——感性认识（抽象）、理性认识（理论）和实践（设计）。 例3.1 现给出“学生”和“课程”两个实体，它们的联系为：一个学生可以选修若干门课程，每门课程可以被任一学生选修。请实现对“学生选课”这一信息的管理。 对“学生选课”例子的感性认识 现给出“学生”和“课程”两个实体,它们的联系为： 一个学生可以选修若干门课程 每门课程可以被任一学生所选修 每个学生每门课程都有成绩 请建立一个信息管理系统，以实现对“学生选课”这一信息的管理。 第一步 采用已建立起来的认识方法来实现对客观世界的感性认识。进行抽象。 已建立起来的认识方法： 1、概念模型以及对应的E-R图。 2、关系模型 概念模型 用于信息世界的建模，是客观世界到信息世界的抽象。 概念模型中的主要概念有：实体、属性、码、域、联系等。 实体：客观存在并可相互区别的事物。 属性：实体所具有的某一种特性。 码：能惟一标识实体的属性集。 域：属性的取值范围。 联系：指不同实体集之间的联系。两个实体之间的联系分为：一对一（1:1）、一对多（1:N）、多对多（N:M）3类。 E-R模型（Entity-Relationship） 1976年，美籍华人陈平山（Peter Pingshan Chen）提出的用E-R模型来描述客观世界并建立概念模型的抽象方法。 实体用矩形表示，属性用椭圆形表示，联系用菱形表示，实体间的联系有一对一（1:1）、一对多（1:N）和多对多（N:M）3种情况。 要实现对客观事物的感性认识，必须将客观世界（在例中客观世界就是“学生选课”）抽象为信息世界。 图3.1 学生选课E-R图 关系模型 概念模型不是机器世界所支持的数据模型，而是客观世界到机器世界的一个中间层次 概念模型还需要转换成机器世界能支持的数据模型。 在数据库领域中，数据