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


数学.计算.逻辑

简体网页||繁体网页
陆汝钤 作者
湖南教育出版社
译者
1993年04月 出版日期
132 页 页数
8.9 价格
平装
走向数学丛书 丛书系列
9787535515803 图书编码

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


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




点击这里下载
    

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

发表于2024-06-14


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

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

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



数学.计算.逻辑 在线电子书 用户评价

评分

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

评分

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

评分

这书不错,讲的挺明白。

评分

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

评分

这书不错,讲的挺明白。

数学.计算.逻辑 在线电子书 著者简介


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


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

数学.计算.逻辑 在线电子书 图书描述

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

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

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

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

评分

评分

评分

评分

评分

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

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


分享链接





数学.计算.逻辑 在线电子书 相关图书




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

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有