逻辑与形而上学教科书系列 递归论 算法与随机性基础作者：郝兆宽，杨睿之，杨跃 著 出版时间：2018年版丛编项： 逻辑与形而上学教科书系列内容简介　　本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不...

上一篇：美国数学会经典影印系列 度量几何学教程 英文版
下一篇：掉进牛奶里的e和玉米罐头上的？