理论计算机科学

理论计算机科学是数学和普通计算机科学的一个子集，涉及涉及计算理论的数学主题的计算。理论计算机科学涵盖广泛的主题，如计算复杂性、算法、概率计算、自动机理论、密码学和计算数论。