很棒的理论计算机科学 数学与计算机科学交叉学科,以其对数学技术和严格性的重视而著称。 内容 入门理论计算机科学 广泛的介绍 图书 讲座视频播放列表 或者: 演讲笔记 自动机,可计算性和复杂性 演讲笔记 讲座视频播放列表 MOOC 图书 迈克尔·西普塞(Michael Sipser)。 计算理论导论 难题和习题集 理论计算机科学手册 计算复杂度 一般的 讲座视频播放列表 图书 大众科学 沟通复杂度 图书 电路复杂度 图书 随机化 一般的 演算法 讲座视频播放列表 图书 逻辑与基础数学 可计算性理论 图书 介绍性 论文集 大众科学 计算复杂度 图书 哲学 演讲笔记 图书 大众科学 文件 物理 图书 数学/逻辑预备 一般的 讲座视频播放列表 图书 过渡到纯Rigor数学 它已经策划。 离散数学 演讲笔记 图书 调查 其他资源 博客文章和随笔 杂志/期刊/新闻 《艾伦·图灵