面向计算机科学的数理逻辑系统建模与推理

出版时间：2007-7  出版社：机械工业  作者：哈斯  页数：277  
Tag标签：无  

内容概要

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。    本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。

书籍目录

出版者的话专家指导委员会译者序第1版序第2版前言第1章 命题逻辑  1.1 判断语句  1.2 自然演绎  1.3 作为形式语言的命题逻辑  1.4 命题逻辑的语义  1.5 范式  1.6 SAT求解机  1.7 习题  1.8 文献注释第2章 谓词逻辑  2.1 我们需要更丰富的语言  2.2 作为形式语言的谓词逻辑  2.3 谓词逻辑的证明论  2.4 谓词逻辑的语义  2.5 谓词逻辑的不可判定性  2.6 谓词逻辑的表达能力  2.7 软件的微观模型  2.8 习题  2.9 文献注释第3章 通过模型检测进行验证  3.1 验证的动机  3.2 线性时态逻辑  3.3 模型检测：系统、工具和性质  3.4 分支时间逻辑  ……第4章 程序验证第5章 模态逻辑与代理第6章 二叉判定图参考文献

用户评论 (总计30条)

•   打好逻辑基础的好书，对以后计算机方面的学习有帮助。
•   锻炼你的逻辑思维能力，强烈推荐
•   又一次遇到形式化验证的书了，质量很好！
•   还没来得及看，不过貌似挺薄的一本书，同学们反映还不错。
•   我们上课没用书，但是学校选的教材，应该是好书
•   帮老公买的 说很实用 工作需要
•   内容全面 通俗易懂
•   很好的书，印刷质量也不错。但我在当当的那本好像运送过程中经过了什么风浪封面有点小破损。。。。
•   各个方面都很不错 加油
•   是一本很值得好好认真读的书，会有收获的。
•   书的质量感觉挺好的，纸张不错，印刷也不错，哈哈哈~给好评~
•   这是一本翻译的很到位的书，很好，初学者的首选！
•   不错~推荐购买，这个相当不错~！好好科研啊~~~~
•   虽然翻译有些生硬，但看懂不是很困难。
•   除了快递晚了一天到之外其他都挺好的！
•   书籍全新，包装不错，发票齐全，质量上乘！物优价廉，最重要的是很方便。
•   建议看原版的，翻译得比较烂！
•   --------------------------------
•   本学学过离散数学，但是那本书与多数其他离散数学的书侧重点不太一样。这本书按照引言介绍的，也只相当于我国离散数学的一般水平（内容上），但是其中有较多的篇幅详细介绍一些应用方面，比如SAT求解器、程序验证等，还是很值得一看的。我做约束求解、程序验证的课堂报告就从中翻阅了不少东西出来
•   软件工程的最终解决之道必然是形式化方法，这本书算得上不错的一本参考。另外我推荐下面几本:零缺陷程序设计净室软件工程技术从规范处罚的程序设计B方法
•   计算机的基础课，不错的书
•   很专业的专业书
•   看了看目录，很合意，序言也说了这是适合初学者的书，内容也不错。
  但是翻译。。。。。。。额。。。。。。这个有点让人失望啊，反正在第一章开头那点就出现了读不通的地方，还没怎么深入的看。
•   上课用的这本书，很不错，推荐一下
•   很详尽，很系统，但是翻译的太差。不会是译者带的研究生翻译的？有很深的学生翻译的印迹！
•   书很好，也很快！考完试就不用了，各位可以找我来买二手书！
•   帮先生订的，他说不错。
•   俄罗斯人的程序堪称艺术，因为离散数学功夫很深。做为计算机学科的基础数学理论之一，数理逻辑可以建立起从自然到计算机世界的一架桥梁。这是此书的作用。它不能让你一周内写出任何语言的程序，但是它可以让你的程序更符合计算机世界的逻辑。
•   原来大学里学的东西忘了好多，这部分讲的很好，但是有一部分翻译书的通病，按照翻译人的思维走，总要费一点点力气去理解除了书籍之外的意思~总的来说还是帮助理解数理逻辑系统的一本的很好的书~
•   选修课老师用的教材，买了老师才说，我们不上这个东西，我们上Prolog,我汗--------------！