计算机科学的内涵和外延
曾毅
转自微软中国
要想学好计算机科学,我们认为首先要对计算机科学研究的内涵与外延至少有一个概要性的了解。对于刚刚入学的计算机系学生以及虽然学习了很长时间的计算机,但是还是觉得很迷茫的学生来说,究竟计算机科学研究的是什么大部分人可能还不清楚,本文着力论述计算机科学的研究范畴,以对同学们有所启发。
谈到计算机的历史中对计算机科学方向性的确定最应当提的就是美国计算机协会,1946年,美国在华盛顿哥伦比亚大学成立了美国计算机协会ACM(Association for Computing Machinery) 他们对计算机学科的发展做出了前瞻性的预测:将计算机学科的发展方向分为三个部分:
[一]计算机基础问题的研究:
(1)计算理论: (theory of computation)
计算理论是关于计算和计算机械的数学理论。
主要内容包括:
1.算法(algorithm):解题过程的精确描述
2.算法学(algorithmics):系统的研究算法的设计,分析与验证的学科
3.计算复杂性理论(computational complexity theory):用数学方法研究各类问题的计算复杂性学科。
4.可计算性理论(computability theory):研究计算的一般性质的数学理论。
5.自动机理论(automata theory):以研究离散数字系统的功能和结构以及两者之关系为主要 内容的数学理论。
6.形式语言理论:用数学方法研究自然语言和人工语言的语法理论。 <
曾毅
转自微软中国
要想学好计算机科学,我们认为首先要对计算机科学研究的内涵与外延至少有一个概要性的了解。对于刚刚入学的计算机系学生以及虽然学习了很长时间的计算机,但是还是觉得很迷茫的学生来说,究竟计算机科学研究的是什么大部分人可能还不清楚,本文着力论述计算机科学的研究范畴,以对同学们有所启发。
谈到计算机的历史中对计算机科学方向性的确定最应当提的就是美国计算机协会,1946年,美国在华盛顿哥伦比亚大学成立了美国计算机协会ACM(Association for Computing Machinery) 他们对计算机学科的发展做出了前瞻性的预测:将计算机学科的发展方向分为三个部分:
[一]计算机基础问题的研究:
(1)计算理论: (theory of computation)
计算理论是关于计算和计算机械的数学理论。
主要内容包括:
1.算法(algorithm):解题过程的精确描述
2.算法学(algorithmics):系统的研究算法的设计,分析与验证的学科
3.计算复杂性理论(computational complexity theory):用数学方法研究各类问题的计算复杂性学科。
4.可计算性理论(computability theory):研究计算的一般性质的数学理论。
5.自动机理论(automata theory):以研究离散数字系统的功能和结构以及两者之关系为主要 内容的数学理论。
6.形式语言理论:用数学方法研究自然语言和人工语言的语法理论。 <