面向计算机科学的数理逻辑（[德] 哈斯 [英] 瑞安）（Mechanical Industry Press Pub. 2007）

  • 书名：面向计算机科学的数理逻辑
  • 出版社：Mechanical Industry Press Pub.
  • 作者：[德] 哈斯 [英] 瑞安
  • 出版年份：2007
  • 电子书格式： pdf
  • 简介：本书系统讲解数理逻辑，涵盖命题逻辑、谓词逻辑、集合论等核心内容，并结合计算机科学的实际应用，深入浅出地阐述这些理论知识。对于计算机科学专业的学生和研究人员来说，这是一本不可或缺的参考书。它有助于理解计算机科学的基础理论，并提升逻辑思维能力。
  • ISBN：9787111213970, 71112
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。