第一章计算机语言的学科形态与发展历程 计算机语言在计算学科中占有特殊的地位 是计算学科中最富有智慧的成果之一,它深刻地影 响着计算学科各个领域的发展。不仅如此,计算机 语言还是程序员与计算机交流的主要工具。因此, 可以说如果不了解计算机语言,就谈不上对计算学 科的真正了解
1 第一章 计算机语言的学科形态与发展历程 计算机语言在计算学科中占有特殊的地位，它 是计算学科中最富有智慧的成果之一，它深刻地影 响着计算学科各个领域的发展。不仅如此，计算机 语言还是程序员与计算机交流的主要工具。因此， 可以说如果不了解计算机语言，就谈不上对计算学 科的真正了解
多计算学科中的抽象形态 《计算作为一门学科》报告认为:理论、抽象 和设计是我们从事本领域工作的3种主要形态 按人们对客观事物认识的先后次序,抽象列为 第一个学科形态,理论列为第二个学科形态。 抽象源于实验科学。按客观现象的研究过程, 抽象形态包括以下4个步骤的内容 (1)形成假设; (2)建造模型并作出预测; (3)设计实验并收集数据 (4)对结果进行分析。 第2页
第2页 计算学科中的抽象形态 • 《计算作为一门学科》报告认为：理论、抽象 和设计是我们从事本领域工作的3种主要形态。 • 按人们对客观事物认识的先后次序，抽象列为 第一个学科形态，理论列为第二个学科形态。 抽象源于实验科学。按客观现象的研究过程， 抽象形态包括以下4个步骤的内容： （1）形成假设； （2）建造模型并作出预测； （3）设计实验并收集数据； （4）对结果进行分析
多计算学科中的理论形态 °在计算学科中,从统一合理的理论发展 过程来看,理论形态包括以下4个步骤的 内容: (1)表述研究对象的特征(定义和公理); (2)假设对象之间的基本性质和对象之间 可能存在的关系(定理); (3)确定这些关系是否为真(证明); (4)结论。 第3页
第3页 计算学科中的理论形态 • 在计算学科中，从统一合理的理论发展 过程来看，理论形态包括以下4个步骤的 内容： （1）表述研究对象的特征（定义和公理）； （2）假设对象之间的基本性质和对象之间 可能存在的关系（定理）； （3）确定这些关系是否为真（证明）； （4）结论
计算学科中的设计形态 在计算学科中,从为解决某个问题而实 现系统或装置的过程来看,设计形态包 括以下4个步骤的内容: (1)需求分析; (2)建立规格说明; (3)设计并实现该系统; (4)对系统进行测试与分析。 第4页
第4页 计算学科中的设计形态 • 在计算学科中，从为解决某个问题而实 现系统或装置的过程来看，设计形态包 括以下4个步骤的内容： （1）需求分析； （2）建立规格说明； （3）设计并实现该系统； （4）对系统进行测试与分析
算学科中的3个学科形态内在联系 3个学科形态的内在联系 ·抽象源于现实世界。建立对客观事物进 行抽象描述的方法。建立具体问题的概 念模型,实现对客观世界的感性认识。 理论源于数学。建立完整的理论体系 建立具体问题的数学模型,从而实现对 客观世界的理性认识。 ·设计源于工程。对客观世界的感性认识 和理性认识的基础上,完成一个具体的 任务;对工程设计中所遇到的问题进行 总结,提出问题,由理论界去解决它。 第5页
第5页 计算学科中的3个学科形态内在联系 3个学科形态的内在联系 • 抽象源于现实世界。建立对客观事物进 行抽象描述的方法。建立具体问题的概 念模型，实现对客观世界的感性认识。 • 理论源于数学。建立完整的理论体系 建立具体问题的数学模型，从而实现对 客观世界的理性认识。 • 设计源于工程 。对客观世界的感性认识 和理性认识的基础上，完成一个具体的 任务；对工程设计中所遇到的问题进行 总结，提出问题，由理论界去解决它