Essential Logic for Computer Science（Rex Page;Ruben Gamboa;）（MIT Press 2019）

  • 书名：Essential Logic for Computer Science
  • 出版社：MIT Press
  • 作者：Rex Page;Ruben Gamboa;
  • 出版年份：2019
  • 电子书格式： epub
  • 简介：《Essential Logic for Computer Science》由Rex Page和Ruben Gamboa编著，2019年由MIT Press出版。此书深入探讨了计算机科学中逻辑学的基础理论和应用，为读者提供从基本概念到高级逻辑推理和证明的全面指南。适用于计算机科学专业学生、研究人员及对逻辑学感兴趣的读者，书中涵盖了命题逻辑、谓词逻辑、证明方法等关键内容，是掌握计算机科学逻辑思维的必读之作。
  • ISBN：9780262039185, 97802
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。