以下是松散分类的CS教科书链接的集合,这些链接可以在线免费获得,通常是以下其中一项:
一本绝版的旧书,其著作权已归原始作者所有(例如TTFP)
作者自己的预印本或教科书草稿。这包括作者与出版商进行特殊安排以在其首页上保留已出版文本的电子副本的情况下。
其中的大多数我仅用作简要的个人参考,并未深入阅读。例外情况是,我花了很多时间并强烈推荐的那些书标有星号。
我还在下面列出了一些论文,这些论文被认为是对某些主题的不错的独立介绍,并提供了完整的特殊主题课程的链接列表。
如果您发现以下链接之一已损坏或已移动,请随时告诉我。
那些有空余时间而又想节省时间的人可能会喜欢浏览UPenn广泛的在线图书清单中的质量检查电话。多年来,这里列出的大多数资源都是独立发现的,但我刚刚(2020年6月)了解到了这个出色的链接库。当我找到有前途的书时,我将在下面的链接中添加这些内容。
虽然本页上的大多数书籍都侧重于理论/基础主题,但有时您只需要学习编程语言或查看有关特定语言功能的一些参考资料。 其他类别中列出的某些书籍适合希望入门编程和/或计算机科学的人。 我已在本节中重复了这些链接,以便您轻松找到所需链接。 类型理论:类型理论导论。 Herman Geuvers,语言工程和严格课程的演讲笔记