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


数学.计算.逻辑

简体网页||繁体网页
陆汝钤
湖南教育出版社
1993年04月
132 页
8.9
平装
走向数学丛书
9787535515803

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


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




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-23

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

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

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



图书描述

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

数学.计算.逻辑 下载 mobi epub pdf txt 电子书

著者简介


图书目录


数学.计算.逻辑 pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

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

评分

总的来说,还是科普性更强一点!

评分

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

评分

总的来说,还是科普性更强一点!

评分

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

读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

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


分享链接









相关图书




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

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有