计算理论

计算理论是对高效计算、计算过程模型及其局限性的研究。计算理论包括现代计算复杂性理论的发展、高效图算法的基础以及使用应用逻辑和形式验证来构建可靠的系统。

计算理论相关期刊

计算系统理论、图像和视觉计算、IEEE 移动计算汇刊、SIAM 科学计算杂志、ACM 计算调查。