计算机科学,研究计算机及其周围各种现象和规律的科学,亦即研究计算机系统结构、程序系统(即软件)、人工智能以及计算本身的性质和问题的学科。计算机科学是一门包含各种各样与计算和信息处理相关主题的系统学科,从抽象的算法分析、形式化语法等等,到更具体的主题如编程语言、程序设计、软件和硬件等。计算机科学分为理论计算机科学和实验计算机科学两个部分。后者常称为“计算机科学”而不冠以“实验”二字。前者有其他名称,如计算理论、计算机理论、计算机科学基础、计算机科学数学基础等。数学文献中一般指理论计算机科学。
系统分类
计算机系统可划分为软件系统与硬件系统两大类。
硬件
类目 |
---|
结构控制和指令系统 |
算法和逻辑结构 |
存储器结构 |
冯·诺伊曼结构 |
哈佛结构 |
输入/输出和数据通信 |
数字逻辑 |
逻辑设计 |
集成电路 |
计算机系统组织 |
计算机系统结构 |
计算机网络 |
分布式计算 |
网络安全 |
计算机系统实现 |
软件
类目 |
---|
系统软件 |
操作系统 |
编译器 |
应用软件 |
计算机游戏 |
办公自动化 |
网络软件 |
CAD软件 |
计算机程序 |
程序设计和程序设计实践 |
面向对象技术 |
程序设计语言 |
软件工程 |
软件复用 |
驱动程序 |
计算机模拟 |
程序设计方法学 |
数据和信息系统 |
数据结构 |
数据存储表示 |
数据加密 |
数据压缩 |
编码与信息论 |
文件 |
信息系统 |
管理信息系统 |
决策支持系统- 专家系统 |
数据库 |
信息存储和数据存取 |
信息交互与表达 |
主要的研究领域 |
形式化基础 |
逻辑学 |
谓词逻辑 |
模态逻辑 |
时序逻辑 |
描述逻辑 |
数学 |
泛代数 |
递归论 |
模型论 |
概率论和数理统计 |
逻辑代数 |
布尔代数 |
离散数学 |
组合数学 |
图论 |
网论 |
信息论 |
理论计算机科学 |
形式语言 |
自动机 |
可计算性 |
算法 |
计算复杂性 |
描述复杂性 |
编译器 |
程序设计理论 |
信息论 |
类型理论 |
指称语义 |
微程序 |
遗传算法 |
并行计算 |
计算方法学 |
人工智能 |
机器翻译 |
计算机图形学 |
图像处理与计算机视觉 |
模式识别 |
语音识别 |
文字识别 |
签名识别 |
人脸识别 |
指纹识别 |
仿真与建模 |
数字信号处理 |
文档与文本处理 |
计算机应用 |
数值计算 |
数值分析 |
定理机器证明 |
计算机代数 |
工程计算 |
计算机化学 |
计算机物理 |
生物信息论 |
计算生物学 |
非数值计算 |
工厂自动化 |
办公室自动化 |
人工智能 |
信息存储与检索 |
符号语言处理 |
计算机辅助科学 |
计算机辅助设计 |
计算机辅助教学 |
计算机辅助管理 |
计算机辅助软件工程 |
机器人学 |
多媒体技术 |
人机交互 |
电子商务 |
特定技术 |
测试基准 |
机器视觉 |
数据压缩 |
软件设计模式 |
数字信号处理 |
文件格式 |
信息安全 |
国际互联网络 |
超大规模集成电路设计 |
网络传输协议 |
网络处理器技术 |
整数运算器 |
浮点运算器 |
矩阵运算处理器 |
网格 |
计算科学史 |
计算机历史 |
软件业历史 |
编程思想 |
著名高校
在计算机科学领域排名世界前五的大学:
1. Carnegie Mellon University卡内基梅隆大学
2. Massachusetts Institute of Technology麻省理工学院
3. Stanford University斯坦福大学
4. University of California -Berkeley加州大学伯克利分校
5. Cornell University康奈尔大学
6. University of Illinois-Urbana Champaign伊利诺伊大学香槟分校