第2章 认识计算机学科.pptVIP

本章讨论的主要问题是： 1. 什么是计算机学科？任何学科都具有抽象、理论和设计三个学科形态，如何理解计算机学科的学科形态？ 2. 计算机学科的根本任务就是（自动）计算，所有问题都可以被自动计算吗？如何判别可计算问题的资源消耗（例如计算时间）？ 3. 宏观上说，计算机学科存在哪些科学问题？科学问题的提出和解决如何推动了计算机学科的发展？;情景问题——学科的存在性证明;情景问题——学科的存在性证明;第 2 章 认识计算机学科——学科的定义; 所谓学科形态是指从事一类学科研究与发展工作且具有共性的文化方式。 抽象也称模型化，是指在思维中对同类事物去除现象的、次要的方面，抽取共同的、主要的方面，从而做到从个别中把握一般、从现象中把握本质的认知过程和思维方法。 抽象源于现实世界，它的研究内容表现在两个方面： （1）建立对客观事物进行抽象描述的方法； （2）采用现有的描述方法建立具体问题的概念模型，从而获得对客观世界的感性认识。;理论是指为理解一个领域中对象之间的关系而构建的基本概念和符号。 科学理论是经过实践检验的系统化的科学知识体系，由科学概念、科学原理以及对这些概念、原理的理论论证所组成的体系，表现为定义、定理和性质及其证明。 理论源于数学，它的研究内容表现在两个方面： （1）建立完整的理论体系； （2）在现有理论的指导下，建立具体问题的数学模型，从而实现对客观世界的理性认识。;设计是指构造支持不同应用领域的计算机系统。 工程设计具有较强的实践性、社会性和综合性，其实现要受社会因素、客观条件（包括其他相关学科）的影响。 设计源于工程，它的研究内容表现在两个方面： （1）在对客观世界的感性认识和理性认识的基础上，完成一个具体的工程任务； （2）对工程设计中遇到的问题进行总结，提出问题由理论界去解决，同时，还要将工程设计中积累的经验和教训进行总结，形成方法去指导以后的工程设计。;三个形态之间的关系 ; 核心概念是CC1991报告首次提出的，是具有普遍性、持久性的重要思想、原则和方法，具有如下基本特征： （1）在学科及各分支学科中普遍出现； （2）在理论、抽象和设计的各个层面上都有很多示例； （3）在理论上具有可延展和变形的作用，在技术上有高度的独立性。 ;1. 绑定。绑定是通过将一个对象（或事物）与其某种属性相联系，从而使抽象的概念具体化的过程。例如，将一个进程与一个处理机、一个变量与其类型或值分别联系起来。这种联系的建立，实际上就是建立了某种约束。 2. 大问题的复杂性。大问题的复杂性是指随着问题规模的增长使问题的复杂性呈非线性增加的效应。这种非线性增加的效应是区分和选择各种现有方法和技术的重要因素。 3. 概念和形式模型。概念和形式模型是对一个想法或问题进行形式化、特征化、可视化思维的方法。例如，数据流图和E-R图等都属于概念模型，而逻辑理论、开关理论和计算理论中的模型大都属于形式模型。概念模型和形式模型以及形式证明是将计算机学科各分支统一起来的重要核心概念。 ;4. 一致性和完备性。一致性包括用于形式说明的一组公理的一致性、事实和理论的一致性，以及一种语言或接口设计的内部一致性。完备性包括给出的一组公理的完备性、使其能获得预期行为的充分性、软件和硬件系统功能的充分性，以及系统处于出错和非预期情况下保持正常行为的能力等。 5. 效率。效率是关于时间、空间、人力和财力等资源消耗的度量。在计算机软硬件的设计中，要充分考虑某种预期结果达到的效率，以及一个给定的实现过程较之替代的实现过程的效率。 6. 演化。演化指的是系统的结构、状态、特征、行为和功能等随着时间的推移而发生的更改。这里主要指的是了解系统更改的事实和意义以及应采取的对策。 ;7. 抽象层次。抽象层次指的是通过对不同层次的细节和指标的抽象对一个系统或实体进行表述。在复杂系统的设计中，隐藏细节，对系统各层次进行描述（抽象），从而控制系统的复杂程度。 8. 按空间排序。按空间排序指的是各种定位方式，如物理上的定位（如网络和存储中的定位），组织方式上的定位（如处理机进程、类型定义和有关操作的定位）以及概念上的定位（如软件的辖域、耦合、内聚等）。 9. 按时间排序。按时间排序指的是事件的执行对时间的依赖性。例如，在具有时态逻辑的系统中，要考虑与时间有关的时序问题，在分布式系统中，要考虑进程同步的问题。 ;10. 重用。重用指的是在新的环境下，系统中各类实体、技术、概念等可被再次使用的能力，如软件库和硬件部件的重用等。 11. 安全性。安全性指的是计算机软硬件系统对合法用户的响应及对非法请求的抗拒，以保护系统不受外界影响和攻击的能力。 12. 折衷和结论。折衷指的是为满足系统的可实施性而对系统设计中的技术、方案所做出的一种合理的取舍。;计算机学科的根本问题是：什么能