第一章可计算函数、可判定集与可数集

购物车申请加入邮件组 English

高级检索图表检索

可计算函数作者：陈光还　　 ISBN：978-7-04-038692-9　出版时间：2013-12-27

全书目录
本章目录

内封

版权

目录

前辅文

第一章可计算函数、可判定集与可数集

第二章通用函数与不可判定性

第三章编号与运算

第四章 Gödel 编号系统的性质

第五章不动点定理

第六章 m-可约性与可数集的性质

第七章 Oracle 计算

第八章算术分层

第九章 Turing 机

第十章可计算函数的算术化

第十一章递归函数

参考文献

人名表

索引
- 1 可计算函数
- 2 可判定集
- 3 可数集
- 4 可数集与可判定集
- 5 可数性与可计算性

第一章可计算函数、可判定集与可数集

Book Metrics 引用导出

点击：次

下载：次

相关资源

相关词条