.3.2计算机学科方法论的主要内容 +主要内容 学科的三个过程 →抽象过程/理论总结过程/设计过程。 ·重复出现的12个核心概念 ◆绑定/大问题的复杂性/概念和形式模型。 ◆一致性和完备性/效率/演化/抽象层次。 ◆按空间排序/按时间排序/重用/安全性/折衷和结论。 ·典型的学科方法 +数学方法/系统科学方法。 计算机导论2014)
计算机导论(2014) 9.3.2 计算机学科方法论的主要内容 主要内容 学科的三个过程 抽象过程/理论总结过程/设计过程。 重复出现的12个核心概念 绑定/大问题的复杂性/概念和形式模型。 一致性和完备性/效率/演化/抽象层次。 按空间排序/按时间排序/重用/安全性/折衷和结论。 典型的学科方法 数学方法/系统科学方法
.3.3计算机学科方法论研究的意义 +重要意义 ·有助于总结经验，促进计算机学科的快速发展。 ◆有助于确立正确的思维方式，把握正确的研究方向。 ·有助于计算机学科的建设和人才培养。 计算机导2014)
计算机导论(2014) 9.3.3 计算机学科方法论研究的意义 重要意义 有助于总结经验，促进计算机学科的快速发展。 有助于确立正确的思维方式，把握正确的研究方向。 有助于计算机学科的建设和人才培养
9.4计算机学科的三个过程 +理论总结过程 ·科学理论是经过实践检验的系统化了的科学知识体系， 它是由科学概念、科学原理以及对这些概念、原理的理 论论证所组成的体系。 ·计算机学科的理论与数学所用的方法类似，主要要素为 定义和公理、定理、证明、结果的解释。 ·用这一过程来建立和理解计算机学科所依据的数学原理。 其研究内容的基本特征是构造性数学特征。 计算机导2014)
计算机导论(2014) 9.4 计算机学科的三个过程 理论总结过程 科学理论是经过实践检验的系统化了的科学知识体系， 它是由科学概念、科学原理以及对这些概念、原理的理 论论证所组成的体系。 计算机学科的理论与数学所用的方法类似，主要要素为 定义和公理、定理、证明、结果的解释。 用这一过程来建立和理解计算机学科所依据的数学原理。 其研究内容的基本特征是构造性数学特征
9.4计算机学科的三个过程 抽象过程 抽象是指在思维中对同类事物去除其现象的、次 要的方面，抽取其共同的、主要的方面，从而做 到从个别中把握一般，从现象中把握本质的认知 过程和思维方法。 ·抽象源于现实世界，是对现实原型的理想化。 计算机导2014)
计算机导论(2014) 9.4 计算机学科的三个过程 抽象过程 抽象是指在思维中对同类事物去除其现象的、次 要的方面，抽取其共同的、主要的方面，从而做 到从个别中把握一般，从现象中把握本质的认知 过程和思维方法。 抽象源于现实世界, 是对现实原型的理想化