1.计算机科学（英语：computer science，有时
缩写为CS）是系统性研究
信息与
计算的理论基础以及它们在
计算机系统中如何
实现（英语：
implementation）与应用的实用技术的学科。它通常被形容为对那些创造、描述以及转换信息的
算法处理的系统研究。
2.数据结构和算法：算法指定义良好的计算过程，它取一个或一组值作为输入，经过一系列定义好的计算过程，得到一个或一组输出。
[24]算法是计算机科学研究的一个重要领域，也是许多其他计算机科学技术的基础。算法主要包括
数据结构、
计算几何、
图论等。除此之外，算法还包括许多杂项，如
模式匹配、部分
数论等。
3.计算理论:按照
Peter J. Denning的说法，计算机科学的最根本问题是“什么能够被有效地自动化？”
计算理论的研究就是专注于回答这个根本问题，关于什么能够被计算，去实施这些计算又需要用到多少资源。为了试图回答第一个问题，
递归论检验在多种理论
计算模型中哪个计算问题是可解的。而
计算复杂性理论则被用于回答第二个问题，研究解决一个不同目的的计算问题的时间与空间消耗。
4.信息论与编码理论:信息论与信息量化相关，由
克劳德·香农创建，用于寻找信号处理操作的根本极限，比如压缩数据和可靠的数据存储与通讯。编码理论是对编码以及它们适用的特定应用性质的研究。编码（code）被用于数据压缩，密码学，前向纠错，近期也被用于网络编码。研究编码的目的在于设计更高效、可靠的数据传输方法。
5.编程语言和编译器和形式化方法等等