理论计算机科学导论 这是一本git资料库，用于准备计算机科学入门课程。 该书以html和pdf格式发布在网页 请使用这些并以发布任何建议，评论，拼写错误等。 现在仍然有两章令人迷惑：空间有限的计算以及证明和程序。 本书的补充代码在 我正在使用从markdown来源制作这本书。 LaTeX和HTML版本的模板来自 ， 和 。 您可以在找到一些我正在使用的模板，脚本和过滤器。 本作品已根据知识共享署名-非商业性-否衍生工具4.0国际许可获得许可。 要查看此许可证的副本，请访问或向美国纽约州94