递归论:算法与随机性基础/逻辑与形而上学教科书系列
图书信息
书名:递归论:算法与随机性基础/逻辑与形而上学教科书系列作者:郝兆宽,杨睿之,杨跃
包装:平装
开本:16
全文字数:245000
出版社:复旦大学出版社
出版时间:2018-10-01
图书简介
递归论是数理逻辑的主要分支之一。作为递归论导论课程的教材,该书全面介绍了递归论的基础知识、不可判定问题和经典构造技巧等内容,可为初学者打下扎实的基础,帮助其建立兴趣并进一步学习与研究递归论。此外,对于对递归论已经有了了解并感兴趣的读者,本书提供了更深入的讲解,有助于读者系统化地、全面地理解递归论的理论知识。
推荐理由
对于初学者和研究者,都可以通过本书获得关于递归论的全面而深入的了解,同时,阐释了递归论应用的各个方面,这将帮助读者更好地掌握该领域内的特定问题,在研究和工程实践中具有广泛的应用。