数学.计算.逻辑 2024 pdf epub mobi 电子书


数学.计算.逻辑

简体网页||繁体网页

数学.计算.逻辑 2024 pdf epub mobi 电子书 著者简介


数学.计算.逻辑 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-22

数学.计算.逻辑 2024 pdf epub mobi 电子书

数学.计算.逻辑 2024 pdf epub mobi 电子书

数学.计算.逻辑 2024 pdf epub mobi 电子书



喜欢 数学.计算.逻辑 电子书 的读者还喜欢


数学.计算.逻辑 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:湖南教育出版社
作者:陆汝钤
出品人:
页数:132 页
译者:
出版时间:1993年04月
价格:8.9
装帧:平装
isbn号码:9787535515803
丛书系列:走向数学丛书

图书标签: 计算机科学  数学  逻辑  数理逻辑  科普  计算机  陆汝钤  语义   


数学.计算.逻辑 2024 pdf epub mobi 电子书 图书描述

本书以计算机科学中的可计算性理论和计算复杂性理论为背景,以生活的比喻,介绍这一领域的基础知识和主要研究成果。

数学.计算.逻辑 2024 pdf epub mobi 电子书

数学.计算.逻辑 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

数学.计算.逻辑 2024 pdf epub mobi 用户评价

评分

这书不错,讲的挺明白。

评分

上帝当然是个充满恶意的数学家,为了数学家用不失业,居然搞出哥德尔不完全性定理。

评分

图灵机, 递归函数, λ演算 ,命题和谓词逻辑演算,文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机,确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ,程序 解题步骤 相当于图灵机的控制函数也放在计算机里,这样就不用改结构 而只需改变计算机的程序的软办法(类比信号处理过程都是软方法而不是改变硬件的方法)。偏序和格 不动点与递归函数等价性

评分

图灵机, 递归函数, λ演算 ,命题和谓词逻辑演算,文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机,确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ,程序 解题步骤 相当于图灵机的控制函数也放在计算机里,这样就不用改结构 而只需改变计算机的程序的软办法(类比信号处理过程都是软方法而不是改变硬件的方法)。偏序和格 不动点与递归函数等价性

评分

图灵机, 递归函数, λ演算 ,命题和谓词逻辑演算,文法 语言和自动机 五种理论计算模型等价。零型 一型 二型 三型 文法的计算能力分别对应与非确定性 图灵机 线性游街自动机 下推自动机 有穷自动机 代两个下推栈的有穷自动机等于图灵机,确定性下推自动机 的计算能力小于非确定性下推自动机的计算能力。待数据是图灵带子上的数据 ,程序 解题步骤 相当于图灵机的控制函数也放在计算机里,这样就不用改结构 而只需改变计算机的程序的软办法(类比信号处理过程都是软方法而不是改变硬件的方法)。偏序和格 不动点与递归函数等价性

数学.计算.逻辑 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有