计算机科学与技术方法论（邹复好）chapter 7 计算学科中的核心概念.pptVIP

计算机科学中12个核心概念 1．绑定（Binding） 绑定指的是通过将一个对象（或事物）与其某种属性相联系，从而使抽象的概念具体化的过程。例如，将一个程序的执行过程与一个处理机联系起来；一个变量与其类型或值联系起来。 2．大问题的复杂性（Complexity of Large Problems） 大问题的复杂性是指随着问题规模的增长而使问题的复杂性呈非线性增加的效应。随着问题复杂性的增加，系统分析的任务将呈几何级数增长。这种非线性增加的效应是区分和选择各种现有方法和技术的重要因素。 计算机科学中12个核心概念 3．概念模型和形式模型（Conceptual and Formal Models） 概念模型和形式模型是对一个想法或问题进行形式化、特征化、可视化思维的方法。 抽象数据类型、语义数据类型以及指定系统的图形语言，如数据流图和E-R图等都属于概念模型。而逻辑、开关理论和计算理论中的模型大都属于形式模型。 概念模型和形式模型以及形式证明是将计算学科各分支统一起来的重要核心概念。 计算机科学中12个核心概念 4．一致性和完备性（Consistency and Completeness） 一致性包括用于形式说明的一组公理的一致性、事实和理论的一致性，以及一种语言或接口设计的内部一致性。 完备性