原创力文档- 1、本文档共60页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
《递归函数论》导论;什么是递归函数？;递归的定义与特点;递归函数与迭代的区别;为什么研究递归函数？;递归函数在计算机科学中的应用;图灵机与递归函数的关系;μ-递归函数的基本概念;原始递归函数的定义;原始递归函数的例子：加法;原始递归函数的例子：乘法;原始递归函数的例子：阶乘;原始递归函数的复合;原始递归函数的迭代;原始递归函数的极小化运算;μ-递归函数的定义;μ-递归函数的例子;μ-递归函数的非原始递归性;Ackermann函数：一个非原始递归函数的例子;可计算性与图灵可计算性;Church-Turing论题;递归函数与Church-Turing论题;停机问题;停机问题是不可解的;停机问题与递归函数的关系;递归可枚举集合;递归集合;递归集合与递归可枚举集合的关系;Post定理;归约性;图灵归约;多一归约;一一归约;创造性集合;创造性集合的例子;创造性集合的性质;简单集合;简单集合的构造;简单集合的性质;算术层次;Σ0,Π0,Δ0集合;Σ1,Π1,Δ1集合;Σn,Πn,Δn集合;算术层次的完整性;Kleene正规型定理;Kleene正规型定理的证明;Kleene正规型定理的应用;递归函数的编码;G?del编码;递归函数与G?del编码的关系;s-m-n定理;s-m-n定理的证明;s-m-n定理的应用;递归定理;;;递归函数论的现代发展;度理论;Kolmogorov复杂度;计算复杂性理论与递归函数论
文档评论（0）