2015信息工程科学导论课程第四讲.pptVIP

计算机科学与技术专业导论 第四讲 Lecture Four 学科形态和知识结构 多学科融合-认知心理学 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 计算机科学与技术专业导论 内容提要(outline) 计算学科中的三个学科形态 计算学科的二维定义矩阵 计算机语言的发展及其三个学科形态内在联系 计算学科知识体及其演变 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 计算机科学与技术专业导论 计算学科中的三个学科形态 认识过程 感性认识(抽象)--理性认识（理论）--实践（设计） 科学技术方法论 抽象、理论和设计 3个过程称为学科形态(Paradigm) 抽象、理论和设计是其研究的主要内容 计算机科学与技术方法论 是对计算领域认识和实践过程中一般方法及其性质、特点、内在联系和变化发展进行系统研究的学问。 计算学科中的三个学科形态概括了计算学科的基本内容 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 计算机科学与技术专业导论 一个关于“学生选课”的例子 现实问题: 现给出“学生”和“课程”二个实体，它们的联系为：一个学生可以选修若干门课程，每门课程可以被任意学生所选修。建立一个信息管理系统，以实现对“学生选课”这一信息的管理。 解题步骤: 感性认识(抽象):学生选课E-R图 理性认识（理论）:关系模型的形式化 实践（设计）:关系数据库、编程 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 计算机科学与技术专业导论 学生 姓名 年龄 性别 成绩 课程号 课程名 选修 学生 课程 m n 学生选课E-R图 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 计算机科学与技术专业导论 “学生选课”的例子的感性认识、理性认识和系统的工程设计(附件2-2) “学生选课”的例子的感性认识 概念模型 实体-关系（E-R)模型 关系模型 “学生选课”的例子的理性认识 感性认识中存在的问题 关系模型的形式化定义 对例子问题的理性认识 “学生选课”系统的工程设计 实现以上关系模型, 数据库、编程等 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 计算机科学与技术专业导论 三个学科形态及其内在联系 “学生选课”例子中三个学科形态的内在联系 抽象形态：源于现实世界、经验。从科学的角度分析建模,例如： A={学生，属性，码,…,E-R图，关系模型} 理论形态：源于数学，是抽象的抽象。如： T={关系代数，关系演算，数据依赖理论…} 设计形态：源于工程，并用于系统和设备的开发，以实现给定的任务。例如： D={“学生选课”应用软件， “学生选课”需求说明书……} 各主领域中的三个学科形态 (附表) 主领域中三个学科形态的主要内容(3.8) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 计算机科学与技术专业导论 三个过程 学科主领域 1．离散结构（DS） 2．程序设计基础（PF） 3．算法与复杂性（AL） 4．体系结构（AR） 5．操作系统 (OS) 6．网络计算(NC) 7．程序设计语言(PL) 8．人机交互(HC) 9．图形学和可视化计算(GV) 10．智能系统(IS) 11．信息管理(IM) 12．软件工程(SE) 13．社会和职业的问题(SP) 14．科学计算(CN) 抽象 x x x x x x x