内容简介 · · · · · ·
递归论的创作者
· · · · · ·
丛书信息
· · · · · ·
现代数学基础丛书(共184册)，
这套丛书还有
《分形分析引论》《数组合地图论》《广义估计方程统计方法》《李群与李代数基础》《偏微分方程的调和分析方法》
等
。
喜欢读"递归论"的人也喜欢 · · · · · ·
递归论的书评 · · · · · · ( 全部 1 条 )
雨夏
我的能力只能看到绪论
[绪论] 递归论的对象是自然数(离散对象)，研究的是自然数(离散对象)的能行性。 Church-Turing论题(猜想)是关于可计算性的，所谓可计算就是说可以用某种方法(算法)进行计算，Church说：可计算函数就是一般递归函数，就是Lambda演算可定义的函数，然后Turing说：可计算函数就是T...
(展开)
> 更多书评 1篇
论坛 · · · · · ·
在这本书的论坛里发言在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 逻辑学须看书籍 (斯宾诺莎的镜片)
- 数理逻辑 (baozii)
- Discrete Mathematics (Kogorou)
- T (dhcn)
- 数理逻辑（含四论）--学习 (reverse_dog)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有82人想读，手里有一本闲着?
订阅关于递归论的评论:
feed: rss 2.0
0 有用 马蹄北去 2019-01-29 09:27:35
角标极多的公式＋老书质量不高的印刷，看的人脑壳疼