研究计算机基本理论的学科

是研究计算机基本理论的学科。在几千年的数学发展中，人们研究了各式各样的计算，创立了许多算法。但是，以计算或算法本身的性质为研究对象的数学理论，却是在20世纪30年代才发展起来的。当时，由几位数理逻辑学者建立的算法理论，即可计算性理论或称递归函数论，对20世纪40年代现代计算机设计思想的形成产生过影响。此后，关于现实计算机及其程序的数学模型性质的研究，以及计算复杂性的研究等不断有所发展。

理论计算机科学包括自动机论、形式语言理论、程序理论、算法分析，以及计算复杂性理论等。自动机是现实自动计算机的数学模型，或者说是现实计算机程序的模型，自动机理论的任务就在于研究这种抽象机器的模型；程序设计语言是一种形式语言，形式语言理论根据语言表达能力的强弱分为O～3型语言，与图灵机等四类自动机逐一对应；程序理论是研究程序逻辑、程序复杂性、程序正确性证明、程序验证、程序综合、形式语言学，以及程序设计方法的理论基础；算法分析研究各种特定算法的性质。计算复杂性理论研究算法复杂性的一般性质。