Logic in computer science:modelling and reasoning about systems
作者: (德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译
出版社:机械工业出版社,2007
简介: 本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、lowenheim-skolem定理等,并介绍了alloy语言和nusmv工具等内容。.
本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。
作为计算机及其相关专业的数理逻辑方面的教材,本书自出版以来受到了广泛的好评,世界许多著名大学(比如美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰vrije大学、印度理工学院)都采用本书作为教材。..
全书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。主要特色就是紧紧围绕软硬件规约和验证这一主题,反映计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性(sat)算法、紧致性理论和lwenheim-skolem定理,并介绍了alloyy语言和nusmv工具。
数理逻辑是计算机科学的基础之一,在模型与系统的规范与验证等方面有着广泛的应用。随着当今软硬件产品(电路、程序和通信协议等)日趋复杂,数理逻辑已经成为设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材,也可供相关研究人员和专业人士参考。...