理论计算机科学主要包括：

①自动机论与形式语言理论②程序理论③形式语义学④算法分析和计算复杂性理论。

学科的产生在几千年的数学发展史中，人们研究了各种各样的计算，创立了许许多多的算法，但以计算或算法本身的性质为研究对象的数学理论却是到20世纪30年代才发展起来的。