- 作 者：ZOHARMANNA著；王冬生译
- 出 版 社：长沙铁道学院科技情报室
- 出版年份：1979
- ISBN：
- 标注页数：212 页
- PDF页数：215 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源215 ≥212页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
前言 1
第一章 可计算性 3
引言 3
1-1 有穷自动机 4
1-1·1 正则表达式 6
1-1·2 有穷自动机 10
1-1·3 转换图 12
1-1·4 Kleene定理 15
1-1·5 等价定理 22
1-2 Turing机 25
1-2·1 Turing机 26
1-2·2 Post机 30
1-2·3 具有下推存贮？有穷机 35
1-2·4 不确定性 42
1-3 作为接收？的Turing机 45
1-3·1 递归可？集合 45
1-3·2 递归集合 47
1-3·3 形式语言 48
1-4 作为发生？的Turing机 52
1-4·1 原始递归函数 54
1-4·2 部分递归函数 61
1-5 作为算法的Turing机 65
1-5·1 是／否问题类的可解性 66
1-5·2 Turing机的停机问题 68
1-5·3 半Thue系统的字问题 70
1-5·4 Post对应问题 73
1-5·5 是／否问题类的部分可解性 78
文献评论，文献目录，习题 83
第二章 谓词演算 97
引言 97
2-1 基本概念 102
2-1·1 句法 102
2-1·2 字义（说明） 108
2-1·3 真确的良构式 116
2-1·4 良构式的等价性 125
2-1·5 良构式的正则形式 132
2-1·6 真确性问题 137
2-2 自然演绎法 140
2-2·1 连词法则 143
2-2·2 ？词法则 152
2-2·3 算符法则 160
2-3 分解的方法 164
2-3·1 子句形式 165
2-3·2 Herband过程 171
2-3·3 联合法则 178
2-3·4 分解法则 183
文献评论，文献目录，习题 189