内容简介 · · · · · ·
本书以计算机科学中的可计算性理论和计算复杂性理论为背景，以生活的比喻，介绍这一领域的基础知识和主要研究成果。
丛书信息
· · · · · ·
走向数学丛书(共21册)，
这套丛书还有
《实迭代》《数学与电脑》《p进数》《数学模型选谈》《信息的度量及其应用》
等
。
喜欢读"数学.计算.逻辑"的人也喜欢 · · · · · ·
数学.计算.逻辑的书评 · · · · · · ( 全部 0 条 )
论坛 · · · · · ·
在这本书的论坛里发言在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 对于我重要的书籍 (阅微草堂)
- 数学普及 Popularization of mathematics (MI)
- 看过的数理书 (窗子以外)
- 数学 (王广松)
- 算法与计算数学:0与1的艺术与科学 (小隐)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有83人想读，手里有一本闲着?
订阅关于数学.计算.逻辑的评论:
feed: rss 2.0
0 有用 王大天.cpp 2009-12-03 01:23:25
总的来说，还是科普性更强一点！
0 有用 free_POC 2008-12-09 21:12:01
上帝当然是个充满恶意的数学家，为了数学家用不失业，居然搞出哥德尔不完全性定理。
1 有用 阅微草堂 2016-10-24 02:59:12
图灵机， 递归函数， λ演算 ，命题和谓词逻辑演算，文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机，确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ，程序 解题步骤 相当于图灵机的控制函数也放在计算机里，这样就不用改结构 而... 图灵机， 递归函数， λ演算 ，命题和谓词逻辑演算，文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机，确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ，程序 解题步骤 相当于图灵机的控制函数也放在计算机里，这样就不用改结构 而只需改变计算机的程序的软办法（类比信号处理过程都是软方法而不是改变硬件的方法）。偏序和格 不动点与递归函数等价性 (展开)
0 有用 momo 2021-02-06 16:45:48
主要看了感兴趣的几章，对我帮助还挺大的。
0 有用 momo 2021-02-06 16:45:48
主要看了感兴趣的几章，对我帮助还挺大的。
1 有用 阅微草堂 2016-10-24 02:59:12
图灵机， 递归函数， λ演算 ，命题和谓词逻辑演算，文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机，确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ，程序 解题步骤 相当于图灵机的控制函数也放在计算机里，这样就不用改结构 而... 图灵机， 递归函数， λ演算 ，命题和谓词逻辑演算，文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机，确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ，程序 解题步骤 相当于图灵机的控制函数也放在计算机里，这样就不用改结构 而只需改变计算机的程序的软办法（类比信号处理过程都是软方法而不是改变硬件的方法）。偏序和格 不动点与递归函数等价性 (展开)
0 有用 王大天.cpp 2009-12-03 01:23:25
总的来说，还是科普性更强一点！
0 有用 free_POC 2008-12-09 21:12:01
上帝当然是个充满恶意的数学家，为了数学家用不失业，居然搞出哥德尔不完全性定理。