📚 网上馆配 · 在线荐购平台

内容简介：本书涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容主要特色就是紧紧围绕软硬件规约和验证这一主题, 反映计算机科学中数理逻辑的发展和实际需要第2版新增了可满足性 (SAT 算法、紧致性理论和I?wenheimSkolem定理, 并介绍了Alloyy语言和NuSMV工具。