理论计算机科学的构建块（1.3版）Building Blocks for Theoretical Computer Science (Version 1.3)

【文件属性】：

文件名称：理论计算机科学的构建块（1.3版）Building Blocks for Theoretical Computer Science (Version 1.3)

文件大小：112B

文件格式：TXT

更新时间：2022-12-05 09:37:18

计算机科学

这本书教您如何阅读和编写数学证明。 它还简要介绍了理论计算机科学中的一些关键主题：算法分析和复杂性，自动机理论以及可计算性。