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

成为VIP会员查看完整内容
58

相关内容

书籍在狭义上的理解是带有文字和图像的纸张的集合。广义的书则是一切传播信息的媒体。
【干货书】概率与统计学,266页pdf
专知会员服务
71+阅读 · 2023年9月3日
【2023新书】线性代数工具数据挖掘,1002页pdf
专知会员服务
89+阅读 · 2023年8月14日
【2023新书】学习和控制的最优化理论,435页pdf
专知会员服务
103+阅读 · 2023年7月26日
【2023新书】科学计算与数据分析入门,563页pdf
专知会员服务
80+阅读 · 2023年7月24日
【干货书】矩阵分析第二版,662页pdf
专知会员服务
69+阅读 · 2023年6月16日
【2023新书】工程优化技术:进展与应用,543页pdf
专知会员服务
66+阅读 · 2023年4月27日
【干货书】计算机科学基础数学:可视化方法,519页pdf
专知会员服务
80+阅读 · 2023年2月9日
【2023新书】数据科学中的数学方法,260页pdf
专知会员服务
103+阅读 · 2023年1月25日
【干货书】矩阵数学理论,事实和公式,第二版,1103页pdf
专知会员服务
109+阅读 · 2022年11月19日
【2021新书】概率图模型:原理与应用,370页pdf
专知会员服务
226+阅读 · 2021年5月26日
【干货书】算法图论,322页pdf
专知
5+阅读 · 2022年12月1日
【干货书】高维统计概论,361页pdf
专知
6+阅读 · 2022年10月29日
【CMU硬核书】数理逻辑与计算,526页pdf
专知
8+阅读 · 2022年9月14日
【干货书】计算机科学离散数学,627页pdf
专知
54+阅读 · 2020年8月31日
国家自然科学基金
6+阅读 · 2017年12月31日
国家自然科学基金
3+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
4+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2014年12月31日
Arxiv
0+阅读 · 2023年9月26日
A Survey of Large Language Models
Arxiv
328+阅读 · 2023年3月31日
Arxiv
56+阅读 · 2023年3月26日
Optimization for deep learning: theory and algorithms
Arxiv
102+阅读 · 2019年12月19日
VIP会员
相关VIP内容
【干货书】概率与统计学,266页pdf
专知会员服务
71+阅读 · 2023年9月3日
【2023新书】线性代数工具数据挖掘,1002页pdf
专知会员服务
89+阅读 · 2023年8月14日
【2023新书】学习和控制的最优化理论,435页pdf
专知会员服务
103+阅读 · 2023年7月26日
【2023新书】科学计算与数据分析入门,563页pdf
专知会员服务
80+阅读 · 2023年7月24日
【干货书】矩阵分析第二版,662页pdf
专知会员服务
69+阅读 · 2023年6月16日
【2023新书】工程优化技术:进展与应用,543页pdf
专知会员服务
66+阅读 · 2023年4月27日
【干货书】计算机科学基础数学:可视化方法,519页pdf
专知会员服务
80+阅读 · 2023年2月9日
【2023新书】数据科学中的数学方法,260页pdf
专知会员服务
103+阅读 · 2023年1月25日
【干货书】矩阵数学理论,事实和公式,第二版,1103页pdf
专知会员服务
109+阅读 · 2022年11月19日
【2021新书】概率图模型:原理与应用,370页pdf
专知会员服务
226+阅读 · 2021年5月26日
相关基金
国家自然科学基金
6+阅读 · 2017年12月31日
国家自然科学基金
3+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
4+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2014年12月31日
微信扫码咨询专知VIP会员