逻辑的引擎（[美]马丁·戴维斯; 张卜天(译)）（湖南科学技术出版社 2005）

  • 书名：逻辑的引擎
  • 出版社：湖南科学技术出版社
  • 作者：[美]马丁·戴维斯; 张卜天(译)
  • 出版年份：2005
  • 电子书格式： pdf
  • 简介：《逻辑的引擎》([美]马丁·戴维斯; 张卜天(译))深入浅出地讲解了数理逻辑的核心概念和发展历史，从布尔代数到哥德尔不完全性定理，内容涵盖命题逻辑、谓词逻辑、集合论等多个方面。本书适合数学、计算机科学、哲学等专业的学生及对逻辑学感兴趣的读者阅读，帮助读者理解逻辑推理的本质，提升逻辑思维能力，并了解其在计算机科学和人工智能领域的应用。
  • ISBN：9787535742391, 75357
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。