计算学科是对描述和变换信息的算法过程,包括对理论分析、设计、效率、实现和应用等进行的系统研究。计算学科的研究包括了从算法与可计算性的研究到根据可计算硬件和软件的实际实现问题的研究。
计算学科的根本问题是“什么能被有效地自动进行?”。计算学科的根本问题讨论的是能行性的有关内容,而凡是与能行性有关的讨论都是处理离散对象的。
计算学科的实质是学科方法论的思想,其关键问题是抽象、理论和设计三个过程相互作用的问题。
(1)理论
理论是数学科学的根本。应用数学家们都认为,科学的进展都是基于纯数学的。应用数学用数学的方法推动经验科学和工程学的发展,同时又不断刺激对新数学的需要,为纯理论数学提出新的问题。
(2)抽象
抽象(模型化)是自然科学的根本。科学家们相信,科学进展的过程基本上都是形成假设,然后用模型化过程去求证。
(3)设计
设计是工程的根本。工程师们认为,工程进展基本上都是提出问题,然后通过设计去构造系统,以解决问题。