内容简介 · · · · · ·
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。
本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。
丛书信息
· · · · · ·
计算机科学丛书(共650册)，
这套丛书还有
《无线传感器网络》《数据挖掘：概念与技术 原书第4版》《数据通信与网络教程》《计算机算法》《并行计算机体系结构》
等
。
喜欢读"面向计算机科学的数理逻辑系统建模与推理"的人也喜欢 · · · · · ·
面向计算机科学的数理逻辑系统建模与推理的书评 · · · · · · ( 全部 2 条 )
karenyskcau
Cambridge University Press2004版
Review from reviews.com
The plethora of textbooks giving a computing viewpoint on logic is evidence that logic is central to the study of computer science, but is there room for yet another? If this text covered the familiar ground, the answer would probably be “no,” but Huth an...
(展开)
> 更多书评 2篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部4 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 语言、逻辑和计算机科学 (lisp大包)
- 形式化验证 (m_vptr)
- T (dhcn)
- 数学 (岁月)
- Math (小七)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于面向计算机科学的数理逻辑系统建模与推理的评论:
feed: rss 2.0
0 有用 灼灼其华 2021-10-29 09:57:15
这本书的英文原版可以打6星。奈何翻译版太不走心了，公式的因数错误很多，而且很多地方的翻译很不走心，可能是十几年前机翻的水平。如P41, "It marks ⊤ if it occurs in that list" 翻译的是 “如果他出现在\phi中，标记T”，这TM根原文是一个意思？
2 有用 饭团 2011-12-30 16:01:19
研究模型验证的基础书籍，如有离散数学基础的，前两章可以迅速翻阅。后四章关于用NumSV技术建模的部分可以跳过。书后习题偏简单。最后推荐英文版本，比读起中文版本容易理解多了。
0 有用 whuissyxa 2019-12-16 18:41:21
英文原著也许还是可以的吧，其实就是那些逻辑搬来搬去，故弄玄。译者实在是差劲，这什么水平还敢翻译，说句良心话，还不如百度翻译，不如自己去看原著。没有金刚钻别揽瓷器活，译者这水平可别出来为难别人了
0 有用 Smile 2022-07-03 05:53:37
这本书的英文版是我读过的第一本英文著作，建议都英文的
0 有用 zYx.Tom 2019-03-24 17:27:47
这本书是我上学读的教材，难的班里只有几个人知道老师在干啥，其他人都在坐飞机。。。