豆瓣
扫码直接下载
总的来说，还是科普性更强一点！
上帝当然是个充满恶意的数学家，为了数学家用不失业，居然搞出哥德尔不完全性定理。
图灵机， 递归函数， λ演算 ，命题和谓词逻辑演算，文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机，确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ，程序 解题步骤 相当于图灵机的控制函数也放在计算机里，这样就不用改结构 而只需改变计算机的程序的软办法（类比信号处理过程都是软方法而不是改变硬件的方法）。偏序和格 不动点与递归函数等价性
主要看了感兴趣的几章，对我帮助还挺大的。
> 数学.计算.逻辑
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
主要看了感兴趣的几章，对我帮助还挺大的。