书籍介绍
图书目录
目 录 1
第一章函数、集合、关系与运算 1
第二章递归函数类 6
第三章图灵可计算函数类 26
第四章等价定理 40
第五章计算模型与Church论题 51
第六章递归论的基本定理 59
第七章算术谱系 72
第八章递归可枚举集 78
第九章图灵归约与跃变算子 93
第十章有穷延伸与有穷损害的优先方法 108
第十一章计算复杂性 124
第十二章递归数学 138
主要参考文献 156
相关书籍
- 《可计算性理论导引》李祥编著 1986
- 《可计算性理论导引》李祥编著 1986
- 《计算理论导引 第2版》（美）塞普瑟（Sipser，M.）著；唐常杰等译 2006
- 《计算理论导引 第2版》（美）塞普瑟（Sipser，M.）著；唐常杰等译 2006
- 《自动机理论、语言和计算导引》（美）J.E. 霍普克罗夫特，（美）J.D. 厄尔曼著；徐美瑞译 1986
- 《自动机理论、语言和计算导引》（美）J.E. 霍普克罗夫特，（美）J.D. 厄尔曼著；徐美瑞译 1986
- 《计算模型导引》宋方敏编著 2012
- 《计算模型导引》宋方敏编著 2012
- 《计算理论导引》（美）西普塞（Michael Sipser）著；张立昂等译 2000
- 《计算理论导引》（美）西普塞（Michael Sipser）著；张立昂等译 2000
出版社其它书籍
- 《最高人民法院新闻发布会实录 2012=records of supreme people's court press conferences 2012》 2222
- 《最高人民法院新闻发布会实录 2012=records of supreme people's court press conferences 2012》 2222
- 《漫画贵阳 又名，贵州风光》黄尧编 1942
- 《贵阳人民革命史》俸起鸣主编；中共贵阳市委党史研究室编 1997
- 《贵阳人民革命史》俸起鸣主编；中共贵阳市委党史研究室编 1997
- 《贵州汉语方言资料 贵阳方言》贵州省公安厅 1986
- 《贵州汉语方言资料 贵阳方言》贵州省公安厅 1986
- 《中华人民共和国国家标准 GB/T16623-1996 压配式实心轮胎=Pressed-on solid tyres》 2222
- 《中华人民共和国国家标准 GB/T16623-1996 压配式实心轮胎=Pressed-on solid tyres》 2222
- 《贵阳人民的爱国民主运动》中共贵阳市委党史工作委员会编 1986
