关注微信

推荐商品

    加载中... 正在为您读取数据...
分享到:
  • 应用逻辑(原书第2版)[平装]
  • 共2个商家     15.20元~26.60
  • 作者:AnilNerodeRichardA.Shore(作者),丁德成(译者),徐亚涛(译者),吴永成(译者),金陈园(译者)
  • 出版社:机械工业出版社;第1版(2007年7月1日)
  • 出版时间:
  • 版次 :
  • 印刷时间:
  • 包装:
  • ISBN:9787111214045

  • 商家报价
  • 简介
  • 评价
  • 加载中... 正在为您读取数据...
  • 商品描述

    编辑推荐

    “本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
    ——美国计算机协会自动机与可计算性理论专业组 (SIGACT)

    这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑),所用的方法与数理逻辑的经典著作有很大不同,更加适合研究计算机理论的读者,可以帮助他们更好地理解计算机理论中的许多概念,是一本真正面向计算机科学的逻辑著作。另外,每章最后给出了进一步阅读建议,书末又分主题给出了相当多的参考文献,便于读者深入学习。
    本书不要求读者具备逻辑基础知识,适合计算机科学系和数学系高年级本科生以及低年级研究生使用。

    目录

    出版者的话
    专家指导委员会
    译者序
    中文版序
    前言绪论
    第一章命题逻辑
    第一节序和树
    第二节命题、联结词和真值表
    第三节真值指派和赋值
    第四节命题演算中的表证明
    第五节表证明的可靠性和完全性
    第六节前件演绎和紧致性
    *第七节公理方法
    第八节消解
    第九节加细消解
    第十节线性消解、Horn子句和PROLOG
    进一步阅读建议
    第二章谓词逻辑
    第一节谓词和量词
    第二节语言:项和公式
    第三节形成树、结构和列表
    第四节语义:含义与真值
    第五节PROLOG程序解释
    第六节证明:完全系统表
    第七节表证明的可靠性和完全性
    *第八节公理化方法
    第九节前束范式和斯科朗化
    第十节厄布朗定理
    第十一节合一
    第十二节合一算法
    第十三节消解
    第十四节加细消解:线性消解
    进一步阅读建议
    第三章PROLOG
    第一节SLD消解
    第二节执行:搜索与回溯
    第三节执行的控制:cut
    第四节PROLOG程序终止的条件
    第五节相等
    第六节因失败而否定
    第七节否定和非单调逻辑
    第八节可计算性与不可判定性
    进一步阅读建议
    第四章模态逻辑
    第一节可能性与必然性;知识或信念
    第二节框架和力迫
    第三节模态表
    第四节可靠性和完全性
    第五节模态公理和特殊的可达关系
    *第六节公理化方法
    进一步阅读建议
    第五章直觉主义逻辑
    第一节直觉主义与构造主义
    第二节框架和力迫
    第三节直觉主义表
    第四节可靠性和完全性
    第五节可判定性和不可判定性
    第六节比较指南
    进一步阅读建议
    第六章集合论基础
    第一节集合论中的一些基本公理
    第二节集合的布尔代数
    第三节关系、函数和幂集公理
    第四节自然数、算术和无穷
    第五节替换、选择和基础
    第六节谓词逻辑中的策梅洛弗兰克尔集
    合论
    第七节基数:有穷和可数
    第八节序数
    第九节序数算术和超穷归纳
    第十节超穷递归、选择和有秩全域
    第十一节基数和基数算术
    进一步阅读建议
    附录 A历史回顾
    附录B一个家谱数据库
    参考文献