面向计算机科学的数理逻辑系统建模与推理(原书第2版)德 Micha|8071840
图书信息
书名：面向计算机科学的数理逻辑系统建模与推理(原书第2版)德 Micha|8071840作者：德 Michael Huth 何伟译
页数：277页
出版社：机械工业出版社
出版时间：2007-7
图书简介
《面向计算机科学的数理逻辑系统建模与推理》是一本全面涵盖了计算机科学数理逻辑领域的内容的书籍。本书系统深入地介绍了数学、逻辑与计算机科学的交叉领域，包括命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。其中，作者详细讲解了有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。本书第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容，使读者能够更加全面地了解计算机科学数理逻辑的新研究进展。本书语言简洁明了，条理清晰，适合高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，并且可以作为相关研究人员和专业人士参考的指南。
推荐理由
本书以全面而深入的角度，综合介绍了计算机科学数理逻辑领域，内容涵盖面广，讲解详细。此书不仅适合高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考，是一本全面介绍计算机科学数理逻辑，了解最新研究成果的好书。