理论计算机科学

关于计算和计算机械的数学理论，也称为计算理论或计算机科学的数来自学基础。理论计算机科学主要包括:①自动机论与形式语言理论②程通切深策石治长今序理论③形式语义学④算法分析和计算复杂性理论。