《数学、计算、逻辑》
| 作者 | 陆汝钤著 编者 |
|---|---|
| 出版 | 长沙：湖南教育出版社 |
| 参考页数 | 135 |
| 出版时间 | 1993（求助前请核对） 目录预览 |
| ISBN号 | 7535515800 — 求助条款 |
| PDF编号 | 82292188（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
目 录前言（王元）1
第一章计算——它不仅仅是一位匠人1
第二章图灵机——跳不出的如来佛手心7
第三章递归函数——以有穷构造无穷的必由之路17
第四章λ演算——这才是严格的函数运算28
第五章命题演算和谓词演算——思维演算的符号体系37
第六章文法、语言和自动机——三个等级森严的家族49
第七章计算机和高级语言——计算能力相同，万变不离其宗61
第八章可判定性和可计算性——国王遗愿为何不能实现？73
第九章完备性和一致性——令人想起一个破碎的梦84
第十章计算复杂性——一匹难以驾驭的烈马94
第十一章P=NP？——一个难倒了无数数学家的谜105
第十二章最小不动点理论——解开递归迷雾的钥匙117
编后记（冯克勤）133
1993《数学、计算、逻辑》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由陆汝钤著 1993 长沙：湖南教育出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数学逻辑
- 1997 北京：高等教育出版社
-
- 逻辑代数与电子计算机
- 安徽省教学学会
-
- 逻辑与数学逻辑论
- 民国16.12 商务印书馆
-
- 计算机科学中的逻辑学
- 1989年09月第1版 科学出版社
-
- 计算机逻辑结构
- 1981 山东省电子学会
-
- 数位逻辑与计算机设计 下
- 1984 全华科技图书股份有限公司
-
- 计算机解题逻辑
- 1986 西安：西安交通大学出版社
-
- 数字逻辑设计
- 1987 西安：西安交通大学出版社
-
- 逻辑代数与电子计算机
- 1996 安徽省教学会
-
- 面向计算机科学的数理逻辑
- 1989 北京：北京大学出版社
-
- 数字逻辑设计
- 1992 合肥：中国科学技术大学出版社
-
- 计算机逻辑导论
- 1984 北京：人民邮电出版社
-
- 面向计算机科学的数理逻辑
- 1998 北京：科学出版社
-
- 逻辑代数与电子计算机
- 1982 安徽省数学学会；芜湖教师进修学院
-
- 逻辑代数与电子数字计算机原理
- 1983 哈尔滨：黑龙江科学技术出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD