数学、计算、逻辑

作者：陆汝钤著
出版社：长沙：湖南教育出版社
出版年份：1993
ISBN：7535515800
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
7
立即购买
（在线云解压服务）

云解压服务说明

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

云解压下载及付费说明

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

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

目录前言（王元） 1

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

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

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

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

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

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

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

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

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

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

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

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

编后记（冯克勤） 133