计算机方法论(Methodology of Computer Science,MCS)是一个具体的科学技术方法论,它将一般科学技术方法论中最基本的C(Cognition,认知)和P(Practice,实践)两个元组改为更具体的A(Abstraction,抽象)、T(Theory,理论)、D(Design,设计),因此,它是一个五元组,即:
其中:
(1) Q 是一个包含子集 A 、 T 、 D 的集合。
(2) A 是计算学科中所有属于“抽象”概念的集合。
(3) T 是计算学科中所有属于“理论”概念的集合。
(4) D 是计算学科中所有属于“设计”概念的集合。
(5) F 表示由 Q 到它自身的一个关系。
认知与实践以及其相互关系是一般技术方法论研究的核心内容。计算机方法论研究的核心内容,其实也就是一般技术方法论研究的核心内容,只不过具体化为计算学科的抽象(感性认识)、理论(理性认识)和设计(实践)3个过程及其内在联系所要研究的内容。
由于“科学研究从问题开始”与“认识以实践为基础”是从不同角度得出的不同命题,而其本质是一致的。因此,我们可以将科学问题从抽象、理论和设计3个过程中提取出来,构成与3个过程具有相同地位的重要内容。
计算机方法论遵循一般科学技术方法论的普遍原理,但是,它又不同于一般科学技术方法论。
一般科学技术方法论在学科认识中具有一般性的指导意义;而计算机方法论直接面对和服务于计算学科的认识过程,它是我们认知计算学科的工具。就某种意义而言,计算机方法论的建立正是计算学科成熟的标志之一。
计算机方法论的研究不仅具有理论意义,也具有现实意义,它能促进计算学科的发展,有助于计算学科的建设与人才培养。