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種科學形態。