计算机科学
计算机科学是一门包含各种各样与计算和信息处理相关主题的系统学科。从抽象的算法分析、形式化语法等等，到更具体的主题如编程语言、程序设计、软件和硬件等。作为一门学科，它与数学、计算机程序设计、软件工程和计算机工程有显著的不同，却通常被混淆，尽管这些学科之间存在不同程度的交叉和覆盖。
计算机科学研究的课题是：
形式化基础
逻辑学、数学（逻辑代数、模型论、概率论与数理统计、离散数学、信息论等）
理论计算机科学
形式语言、自动机、可计算性理论、算法、计算复杂性、描述复杂性、编译器、程序设计理论、信息论、类型理论、指称语义、微程序、遗传算法、并行计算
计算方法学
人工智能、计算机图形学、图像处理与计算机视觉、仿真与建模、数字信号处理、文档与文本处理、模式识别、语音识别、文字识别、签名识别、人脸识别、指纹识别
计算机应用
数值计算、数值分析、定理机器证明、计算机代数、金融计算、工程计算、计算机化学、计算机物理、生物信息论、计算生物学、非数值计算、工厂自动化、办公室自动化、人工智能、信息存储与检索、符号语言处理、计算机辅助科学、计算机辅助设计、计算机辅助教学、计算机辅助管理、计算机辅助软件工程、机器人学、多媒体技术、人机交互、电子商务
特定技术
测试基准、机器视觉、数据压缩、软件设计模式、数字信号处理、文件格式、信息安全、国际互联网络、超大规模集成电路设计、网络传输协议、网络处理器技术、整数运算器、浮点运算器、矩阵运算处理器、网格