解释，理论电脑科学有着数学和抽象的本质，但动机来自实践和日常中的计算问题。它旨在理解计算的本质，并根据这种理解提供更有效率的方法。精确地限制定义理论计算机科学的范围并非易事；根据计算机协会(ACM)算法与计算理论兴趣组（SIGACT）的表述：计算机协会（ACM）《计算理论学报》（"Transactions on Computation Theory"）又为以上的列表添加了：编码理论，计算学习理论，以及与数据库、信息获取、经济学模型和计算机网络中与理论计算机科学相关的方面。
历