点击选择搜索分类
星云书库 -大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）

大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版） 下载 pdf 百度网盘 epub 免费 2025 电子版 mobi 在线

大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）精美图片

大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）电子书下载地址

》大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）电子书籍版权问题 请点击这里查看《

大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）书籍详细信息

  • ISBN：9787302068105
  • 作者：暂无作者
  • 出版社：暂无出版社
  • 出版时间：2003-08
  • 页数：暂无页数
  • 价格：20.80
  • 纸张：暂无纸张
  • 装帧：暂无装帧
  • 开本：暂无开本
  • 语言：未知
  • 丛书：暂无丛书
  • TAG：暂无
  • 豆瓣评分：暂无豆瓣评分
  • 豆瓣短评：点击查看
  • 豆瓣讨论：点击查看
  • 豆瓣目录：点击查看
  • 读书笔记：点击查看
  • 原文摘录：点击查看

内容简介：

“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由剑桥大学出版社于1978年出版，然后，于1988年出了修订版。自从出版以来，几乎第年都要重印，可见其受欢迎的程度。本书是适合作本科生教学的，难得的好教材，既适用于计算机专业，也适用于数学专业，对哲学专业的学生同样也是适用的。

书籍目录：

暂无相关目录，正在全力查找中！

作者介绍：

暂无相关内容，正在全力查找中

出版社信息：

暂无出版社相关信息，正在全力查找中！

书籍摘录：

暂无相关书籍摘录，正在全力查找中！

在线阅读/听书/购买/PDF下载地址：

在线阅读地址：大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）在线阅读

在线听书地址：大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）在线收听

在线购买地址：大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）在线购买

原文赏析：

暂无原文赏析，正在全力查找中！

其它内容：

暂无其它内容！

书籍真实打分

  • 故事情节：6分

  • 人物塑造：4分

  • 主题深度：8分

  • 文字风格：9分

  • 语言运用：3分

  • 文笔流畅：7分

  • 思想传递：8分

  • 知识深度：9分

  • 知识广度：7分

  • 实用性：9分

  • 章节划分：9分

  • 结构布局：4分

  • 新颖与独特：8分

  • 情感共鸣：9分

  • 引人入胜：7分

  • 现实相关：7分

  • 沉浸感：5分

  • 事实准确性：4分

  • 文化贡献：7分

网站评分

  • 书籍多样性：3分

  • 书籍信息完全性：3分

  • 网站更新速度：8分

  • 使用便利性：3分

  • 书籍清晰度：5分

  • 书籍格式兼容性：9分

  • 是否包含广告：6分

  • 加载速度：9分

  • 安全性：3分

  • 稳定性：9分

  • 搜索功能：4分

  • 下载便捷性：4分

下载点评

  • 品质不错(417+)
  • 全格式(608+)
  • 二星好评(189+)
  • 赚了(401+)
  • 速度慢(341+)
  • 引人入胜(302+)
  • 值得购买(376+)
  • 不亏(394+)
  • 无多页(439+)
  • 内容齐全(648+)

下载评价

  • 网友 敖***菡：

    是个好网站，很便捷

  • 网友 寿***芳：

    可以在线转化哦

  • 网友 訾***晴：

    挺好的，书籍丰富

  • 网友 家***丝：

    好6666666

  • 网友 权***波：

    收费就是好，还可以多种搜索，实在不行直接留言，24小时没发到你邮箱自动退款的！

  • 网友 郗***兰：

    网站体验不错

  • 网友 扈***洁：

    还不错啊，挺好

  • 网友 养***秋：

    我是新来的考古学家

  • 网友 游***钰：

    用了才知道好用，推荐！太好用了

  • 网友 通***蕊：

    五颗星、五颗星，大赞还觉得不错！~~

  • 网友 国***舒：

    中评，付点钱这里能找到就找到了，找不到别的地方也不一定能找到

  • 网友 权***颜：

    下载地址、格式选择、下载方式都还挺多的

  • 网友 濮***彤：

    好棒啊！图书很全

喜欢"大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）"的人也看了

大学计算机教育国外著名教材、教参系列（影印版）：数理逻辑（修订版）分类索引数据信息

ISBN：9787302068105
出版社：暂无出版社
出版日期：2003-08
作者：暂无作者
TAGS：暂无
随机推荐

© 2009-2025 星云书库 京ICP备2024085379号

免责声明：本站数据来自互联网公开的数据索引，如果侵犯了您的版权，请点击这里联系删除
对于本站页面标记为“广告、ad” 或非本站域名的链接内容不受本站管控，请自行辨别内容真实性/合法性，本站对此类信息或者链接内容的真实性/合法性不负责任。