![计算的数学理论 上](https://cover.qianqiantushu.cc/27/s6b71268.jpg)
![计算的数学理论 上](https://cover.qianqiantushu.cc/27/s6b71268.jpg)
计算的数学理论 上PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:ZOHARMANNA著;王冬生译
- 出 版 社:长沙铁道学院科技情报室
- 出版年份:1979
- ISBN:
- 页数:212 页
前言 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
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《情报学 服务国家安全与发展的现代情报理论》赵冰峰著 2018
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《新课标背景下英语教学理论与教学活动研究》应丽君 2018
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《情报学 服务国家安全与发展的现代情报理论》赵冰峰著 2018
- 《俞樾全集 第5册 茶香室经说》(清)俞樾撰著;赵一生主编 2017
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《战略情报 情报人员、管理者和用户手册》(澳)唐·麦克道尔(Don McDowell)著 2019
- 《英国皇家舞蹈学院舞蹈等级考试教材 组合与舞蹈 四级》陈婷译 2019
- 《蓬莱学院 4 大漠之王》古月奇 2019
- 《天水师范学院60周年校庆文库 新工科视域下的工程基础与应用研究》《天水师范学院60周年校庆文库》编委会编 2019
- 《科技语篇翻译教程》雷晓峰,李静主编 2020
- 《西单大杂院-北京老舍文学院首届中青年作家高研班学员小说作品集》北京老舍文学院编 2019
- 《南京师范大学110周年 美术学院》宋永忠总主编 2012