数学建模社区-数学中国

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

作者: madio    时间: 2020-7-21 08:02
标题: 递归理论,Frank Stephan著,细致讲解了一些基本结果和递归理论的证明方法
递归理论处理的是关于自然子集的基本概念、数字(或其他著名的可数域)可以有效地定义,以及如何定义如此定义的集合是复杂的。基本概念是递归和递归可数集,但递归理论中研究的集合世界远远不止这些这些东西。概念与丢番图集相联系,通过函数定义
3 i5 v5 V- r! H递归和图灵机器。虽然有些概念非常古老,但是直到Matiyasevich的伟大结果,丢番图和r.e.集是相同的这幅画完全被理解了。本讲座概述了基本结果和递归理论中的证明方法。
/ ~  j: s% |( U; o) J* y; Q
' S( w. X3 b1 U/ {' T2 y* A$ d9 D, D9 Y0 Q% K* P" @

recursiontheory-pstopdf.pdf

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

售价: 5 点体力  [记录]






欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5