= 计算机科学 =

[[#主要研究领域|主要研究领域]]  [[#相关学科|相关学科]]  [[#相关链接|相关链接]]

'''计算机科学'''是一门包含各种各样与[[计算]]和[[信息处理]]相关主题的系统[[学科]]。从[[抽象]]的[[算法分析]]、[[形式化语法]]等等，到更具体的主题如[[编程语言]]、[[程序设计]]、[[软件]]和[[硬件]]等。作为一门学科，它与[[数学]]、[[计算机程序设计]]、[[软件工程]]和[[计算机工程]]有显著的不同，却通常被混淆，尽管这些学科之间存在不同程度的交叉和覆盖。

参阅：[[计算机科学与技术]] [[计算机技术]]

计算机科学研究的课题是：

 * [[计算机程序]]能做什么和不能做什么（[[可计算性理论]]）； 
 * 如何使程序更高效的运行特定[[任务]]（[[算法和复杂性理论]]）； 
 * 程序如何访问不同类型的[[数据]]（[[数据结构]]和[[数据库]]）； 
 * 程序如何显得更具有[[智能]]（[[人工智能]]）； 
 * [[人类]]如何与程序沟通（[[人机互动]]和[[人机界面]]）。 

{{{#!fold title=主要研究领域,level=2
=== 形式化基础 ===
[[逻辑学]]、[[数学]]（[[逻辑代数]]、[[模型论]]、[[概率论]]与[[数理统计]]、[[离散数学]]、[[信息论]]等）

=== 理论计算机科学 ===
[[形式语言]]、[[自动机]]、[[可计算性理论]]、[[算法]]、[[计算复杂性]]、[[描述复杂性]]、[[编译器]]、[[程序设计理论]]、[[信息论]]、[[类型理论]]、[[指称语义]]、[[微程序]]、[[遗传算法]]、[[并行计算]]

=== 计算方法学 ===
[[人工智能]]、[[计算机图形学]]、[[图像处理与计算机视觉]]、[[仿真与建模]]、[[数字信号处理]]、[[文档与文本处理]]、[[模式识别]]、[[语音识别]]、[[文字识别]]、[[签名识别]]、[[人脸识别]]、[[指纹识别 ]] 

=== 计算机应用 ===
[[数值计算]]、[[数值分析]]、[[定理机器证明]]、[[计算机代数]]、[[金融计算]]、[[工程计算]]、[[计算机化学]]、[[计算机物理]]、[[生物信息论]]、[[计算生物学]]、[[非数值计算]]、[[工厂自动化]]、[[办公室自动化]]、[[人工智能]]、[[信息存储与检索]]、[[符号语言处理]]、[[计算机辅助科学]]、[[计算机辅助设计]]、[[计算机辅助教学]]、[[计算机辅助管理]]、[[计算机辅助软件工程]]、[[机器人学]]、[[多媒体技术]]、[[人机交互]]、[[电子商务]]  

=== 特定技术 ===
[[测试基准]]、[[机器视觉]]、[[数据压缩]]、[[软件设计模式]]、[[数字信号处理]]、[[文件格式]]、[[信息安全]]、[[国际互联网络]]、[[超大规模集成电路设计]]、[[网络传输协议]]、[[网络处理器技术]]、[[整数运算器]]、[[浮点运算器]]、[[矩阵运算处理器]]、[[网格]]
}}}
{{{#!fold title=相关学科,level=2
计算机科学与另外的一些学科紧密相关。这些学科之间有明显的交叉领域，但也有明显的差异。
 * [[信息科学]] 
 * [[软件工程]] 
 * [[信息系统]]
 * [[计算机工程]] 
 * [[信息安全]] 
 * [[密码学]] 
 * [[数学]]
 * [[工程学]]
 * [[语言学]] 
 * [[逻辑学]]
}}}
{{{#!fold title=相关链接,level=2
[[计算机]]  [[计算机科学与技术]]  [[计算机软件]]  [[软件工程]]
}}}