1.2 计算机科学与技术学科的概念

1985年春，国际计算机学会（Association for Computing Machinery，ACM）与电气和电子工程师协会计算机学会（Institute of Electrical and Electronics Engineers-Computer Society，IEEE-CS）联手组成攻关组，开始了对“计算作为一门学科”的存在性的证明。经过近4年的工作，攻关组提交了一篇名为《计算作为一门学科》（Computing as a Discipline）的报告。该报告的主要内容刊登在1989年1月的《ACM通讯》（Communicationsofthe ACM）杂志上，这标志着计算作为一门学科诞生了。计算科学是对描述和变换信息的算法过程（包括其理论、分析、设计、效率分析、实现和应用）的系统的研究。本学科源自对数理逻辑、计算模型、算法理论、自动计算机器的研究，形成于20世纪30年代后期。现在，计算已成为继理论、实验之后的第3种科学形态。