发表于2024-12-22
数学.计算.逻辑 2024 pdf epub mobi 电子书
图书标签: 计算机科学 数学 逻辑 数理逻辑 科普 计算机 陆汝钤 语义
本书以计算机科学中的可计算性理论和计算复杂性理论为背景,以生活的比喻,介绍这一领域的基础知识和主要研究成果。
这书不错,讲的挺明白。
评分上帝当然是个充满恶意的数学家,为了数学家用不失业,居然搞出哥德尔不完全性定理。
评分图灵机, 递归函数, λ演算 ,命题和谓词逻辑演算,文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机,确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ,程序 解题步骤 相当于图灵机的控制函数也放在计算机里,这样就不用改结构 而只需改变计算机的程序的软办法(类比信号处理过程都是软方法而不是改变硬件的方法)。偏序和格 不动点与递归函数等价性
评分图灵机, 递归函数, λ演算 ,命题和谓词逻辑演算,文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机,确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ,程序 解题步骤 相当于图灵机的控制函数也放在计算机里,这样就不用改结构 而只需改变计算机的程序的软办法(类比信号处理过程都是软方法而不是改变硬件的方法)。偏序和格 不动点与递归函数等价性
评分图灵机, 递归函数, λ演算 ,命题和谓词逻辑演算,文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机,确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ,程序 解题步骤 相当于图灵机的控制函数也放在计算机里,这样就不用改结构 而只需改变计算机的程序的软办法(类比信号处理过程都是软方法而不是改变硬件的方法)。偏序和格 不动点与递归函数等价性
数学.计算.逻辑 2024 pdf epub mobi 电子书