书籍介绍
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材。
图书目录
上一篇：2008年考研数学经典冲刺5套卷 数学一下一篇：物理化学学习及考研指导
相关书籍
- 《面向计算机科学的数理逻辑系统建模与推理 英文版·第2版》（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著 2005
- 《面向计算机科学的数理逻辑系统建模与推理 英文版·第2版》（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著 2005
- 《面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems》（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译 2007
- 《面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems》（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译 2007
- 《面向工艺规划的逆向链决策逻辑方法研究及应用》许焕敏编 2011
- 《面向工艺规划的逆向链决策逻辑方法研究及应用》许焕敏编 2011
- 《建模法律论证的逻辑工具 法律可废止推理研究》（荷兰）亨利·帕肯著；熊明辉译 2015
- 《建模法律论证的逻辑工具 法律可废止推理研究》（荷兰）亨利·帕肯著；熊明辉译 2015
- 《面向知识表示与推理的自然语言逻辑》鞠实儿等著 2009
- 《面向知识表示与推理的自然语言逻辑》鞠实儿等著 2009
出版社其它书籍
- 《北京志 工业卷 机械工业志 农机工业志》北京市地方志编纂委员会编 2001
- 《机械工业和机械图书的出版发行 机械工业出版社发行培训教材》陈慧毅，杨少晨编 1988
- 《机械工业和机械图书的出版发行 机械工业出版社发行培训教材》陈慧毅，杨少晨编 1988
- 《冷冲模设计》赵孟栋主编 2006
- 《冷冲模设计》赵孟栋主编 2006
- 《机械工业出版社》慕拉维叶夫著；孔庆复译 1959
- 《机械工业出版社》慕拉维叶夫著；孔庆复译 1959
- 《北京市立高级工业职业学校机械科毕业学生韩丕纯分数表/韩丕纯毕业证书》 1949
- 《北京市立高级工业职业学校机械科毕业学生韩丕纯分数表/韩丕纯毕业证书》 1949
- 《中等职业教育机电类规划教材 机械工业出版社精品教材 机械设计基础 第2版》机械职业教育基础课教学指导委员会机械设计学科组组编；柴鹏飞主编 2006
