数学建模社区-数学中国

标题: 递归理论，Frank Stephan著，细致讲解了一些基本结果和递归理论的证明方法 [打印本页]

作者: madio 时间: 2020-7-21 08:02
标题: 递归理论，Frank Stephan著，细致讲解了一些基本结果和递归理论的证明方法
递归理论处理的是关于自然子集的基本概念、数字（或其他著名的可数域）可以有效地定义，以及如何定义如此定义的集合是复杂的。基本概念是递归和递归可数集，但递归理论中研究的集合世界远远不止这些这些东西。概念与丢番图集相联系，通过函数定义
递归和图灵机器。虽然有些概念非常古老，但是直到Matiyasevich的伟大结果，丢番图和r.e.集是相同的这幅画完全被理解了。本讲座概述了基本结果和递归理论中的证明方法。

recursiontheory-pstopdf.pdf

844.52 KB, 下载次数: 2, 下载积分: 体力 -2 点

售价: 5 点体力 [记录]

欢迎光临数学建模社区-数学中国 (http://www.madio.net/)