3计算学科中的3个学科形态.pptVIP

第3章 计算学科中的三个学科形态;第3章 计算学科中的三个学科形态;1、抽象形态——;1、抽象形态——源于现实世界（建立对客观事物 进行抽象描述的方法，建立概念模型） ; 科学认识由感性阶段上升为理性阶段，就形成了科学理论。科学理论是经过实践检验的系统化了的科学知识体系，它是由科学概念、科学原理以及对这些概念、原理的理论论证所组成的体系。 理论源于数学，是从抽象到抽象的升华，它们已经完全脱离现实事物，不受现实事物的限制，具有精确的、优美的特征，因而更能把握事物的本质。; 表述研究对象的特征（定义和公理） 假设对象之间的基本性质和对象之间可能存在的 关系（定理） 确定这些关系是否为真（证明） 结论;3、设计形态——; 需求分析 建立规格说明 设计并实现该系统 对系统进行测试与分析;三个学科形态的内在联系;抽象源于现实世界。建立对客观事物进行抽象描述的方法，建立具体问题的概念模型，实现对客观世界的感性认识。 理论源于数学。建立完整的理论体系，建立具体问题的数学模型，从而实现对客观世界的理性认识。 设计源于工程。对客观世界的感性认识和理性认识的基础上，完成一个具体的任务；对工程设计中所遇到的问题进行总结，提出问题，由理论界去解决它。;4、各领域中三个形态的主要内容 （P54-P59）;二、例子1 信息系统（数据库）三种形 态实例