数学、计算、逻辑

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源145 ≥135页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

目录前言（王元） 1

第一章计算——它不仅仅是一位匠人 1

第二章图灵机——跳不出的如来佛手心 7

第三章递归函数——以有穷构造无穷的必由之路 17

第四章λ演算——这才是严格的函数运算 28

第五章命题演算和谓词演算——思维演算的符号体系 37

第六章文法、语言和自动机——三个等级森严的家族 49

第七章计算机和高级语言——计算能力相同，万变不离其宗 61

第八章可判定性和可计算性——国王遗愿为何不能实现？ 73

第九章完备性和一致性——令人想起一个破碎的梦 84

第十章计算复杂性——一匹难以驾驭的烈马 94

第十一章P=NP？——一个难倒了无数数学家的谜 105

第十二章最小不动点理论——解开递归迷雾的钥匙 117

编后记（冯克勤） 133