理论计算机科学的构建块(1.3版)Building Blocks for Theoretical Computer Science (Version 1.3)
这本书教您如何阅读和编写数学证明。它还简要介绍了理论计算机科学中的一些关键主题：算法分析和复杂性，自动机理论以及可计算性。
下载地址
用户评论
