简介 · · · · · ·
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
喜欢读"面向计算机科学的数理逻辑系统建筑模与推理（原书第2版）"的人也喜欢 · · · · · ·
书评 · · · · · ·
热门评论
最新评论
我来评论这本书
无可奈何的Delay
-
- 纳兰经若(帝哥偶尔掷骰子娱乐有何不可？) 某日在CU上与人瞎掰，其间谈到SICP序言太过深奥，于是有人抱怨道：我从来不看序，都是些吹捧之辞，毫无价值云云。要放到平时，我会十分赞同这个观点，如果你觉得有失偏颇，那在豆瓣上随便搜一堆书找出序言来看看是否大部分异曲同工、马屁之声不绝于耳。可问题这次谈及SICP，我便有些隐隐心痛————这可是Perlis写的序......2009-03-11 4/4有用
第一个在"面向计算机科学的数理逻辑系统建筑模与推理（原书第2版）"的论坛里发言
- > 点这儿转让 有20人想读,手里有一本闲着?
以下豆列推荐 · · · · · ·
- 【自用】电脑书籍 (自由以太)
- 计算机系研究生必读系列 (正正)
谁读这本书?
正正
就本书内容而言，主要就是两部分，前两章讲归约，后面的讲验证。本质上来说，归约是为了简化问题以方便验证，验证是为了保证系统能如预定般工作。整套形式化验证理论不外乎就是这么简单一句话，不过越简单的描述才越发令人毛骨悚然。总之，在这么一个简单描述的背后，隐含的是非常艰难的研究工作。本书我只打4 颗星，对于大部分人来说，知道这本书的背景和大体内容，就算不错了。真正愿意研究下去的人，恐怕也不屑于此书。
12月10日想读
就本书内容而言，主要就是两部分，前两章讲归约，后面的讲验证。本质上来说，归约是为了简化问题以方便验证，验证是为了保证系统能如预定般工作。整套形式化验证理论不外乎就是这么简单一句话，不过越简单的描述才越发令人毛骨悚然。总之，在这么一个简单描述的背后，隐含的是非常艰难的研究工作。本书我只打4 颗星，对于大部分人来说，知道这本书的背景和大体内容，就算不错了。真正愿意研究下去的人，恐怕也不屑于此书。
> 3人在读
> 5人读过
> 20人想读
订阅关于面向计算机科学的数理逻辑系统建筑模与推理（原书第2版）的评论:
feed: rss 2.0