计算机科学和技术学科的方法论.pptVIP

计算机科学与技术学科的方法论 问题求解的三个过程： 理论：与数学所用方法类似（定义、公理、定理、证明和结果的解释）建立和理解计算机科学与技术学科所依据的数学原理。 抽象（模型化）：源于实验科学（数据采集方法和假设的形式说明、模型的构造与预测、实验和结果分析)。抽象的结果是概念、符号和模型 设计：源于工程学（需求说明、规格说明、设计和实现方法、测试和分析），用来开发求解给定问题的系统。 12个重复出现的基本概念 概念和形式模型 抽象层次 演化 按空间排序 按时间排序 效率 大问题的复杂性 一致性和完备性 安全性 折衷与结论 重用 绑定 第一章 编译概述 1.1 什么是编译程序 抽象----人类控制复杂度的手段 人机之间存在着一种天然的通讯空隙 人机之间的通讯空隙通常用人工语言作为联系的桥梁 实现这种通讯，需要给使用者提供说明这种语言所允许的结构和意义的用户手册，并为计算机提供一种软件，以便通过它，计算机可得到人们用这种语言书写的表示命令或程序的比特流，并将这个输入转换为实现人的意图所需要的内部位组合格式。 复杂的计算机语言： 机器语言：特定计算机的指令系统，它由机器本身的硬件或微