【2023新书】计算机科学的逻辑与语言模型，第四版，497页pdf

这本独特的手册重点介绍了计算理论，尤其是逻辑和自动机理论。特别强调计算机科学应用，包括循环不变量、程序正确性、逻辑编程和算法证明技术。这本创新的卷宗与标准教科书有所不同，因为它以不同的顺序构建概念，并使用更少的定理进行更简单的证明。它增加了许多新的例子、问题和答案。它可以在大多数大学用作本科教材。