可计算性与数理逻辑（布勒斯，George S. Boolos）（电子工业出版社 2005）

  • 书名：可计算性与数理逻辑
  • 出版社：电子工业出版社
  • 作者：布勒斯，George S. Boolos
  • 出版年份：2005
  • 电子书格式： pdf
  • 简介：本书深入浅出地讲解了可计算性理论和数理逻辑，内容涵盖了图灵机、递归函数、哥德尔定理等核心概念。适合计算机科学、数学等相关专业的学生和研究人员学习参考。通过清晰的逻辑推理和丰富的例题，帮助读者理解抽象的数学理论。本书由George S. Boolos撰写，并由电子工业出版社出版，是一本不可多得的经典教材。
  • ISBN：
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。