Handbook of Logic in Computer Science. Volume 1： Background： Mathematical Structures（Samson Abramsky， Dov M Gabbay， Thomas S E Maibaum (eds.)）（Oxford University Press 1993）

  • 书名：Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures
  • 出版社：Oxford University Press
  • 作者：Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
  • 出版年份：1993
  • 电子书格式： pdf
  • 简介：《Handbook of Logic in Computer Science, Volume 1》是计算机科学逻辑领域的权威参考书，由Samson Abramsky、Dov M. Gabbay和Thomas S. E. Maibaum编辑。该卷着重介绍数学结构背景，深入探讨了逻辑在计算机科学中的应用和理论基础。书中涵盖了逻辑推理、形式化方法、数学基础等多个方面，为读者提供了丰富的知识体系和研究工具。适合计算机科学、数学、逻辑学相关专业的学生、研究人员及专业人士阅读，帮助他们深入理解逻辑在计算机科学中的核心地位。
  • ISBN：9780198537359, 01985
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。