数学.计算.逻辑
出版社:湖南教育出版社
出版日期:1993-4
ISBN:9787535515803
作者:陆汝钤
页数:132 页页
发布书评
精彩短评 (总计4条)
-
上帝当然是个充满恶意的数学家，为了数学家用不失业，居然搞出哥德尔不完全性定理。 -
这书不错，讲的挺明白。 -
总的来说，还是科普性更强一点！ -
图灵机， 递归函数， λ演算 ，命题和谓词逻辑演算，文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机，确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ，程序 解题步骤 相当于图灵机的控制函数也放在计算机里，这样就不用改结构 而只需改变计算机的程序的软办法（类比信号处理过程都是软方法而不是改变硬件的方法）。偏序和格 不动点与递归函数等价性