Name: 面向计算机科学的数理逻辑系统建模与推理
ISBN: 9787111213970

作者: 哈斯
出版社: 机械工业出版社
出版年: 2007-7
页数: 277
定价: 39.00元
丛书: 计算机科学丛书
ISBN: 9787111213970

豆瓣评分

8.0

28人评价

5星

14.3%
4星

42.9%
3星

32.1%
2星

3.6%
1星

7.1%

评价:

内容简介 · · · · · ·

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。

本书适宜作为高等院校计算机及相关专业的数理逻辑／形式化方法课程的教材，也可供相关研究人员和专业人士参考。

丛书信息 · · · · · ·

　　计算机科学丛书(共612册)，这套丛书还有《Big C++ 中文版（原书第3版）》《C程序设计教程》《数据挖掘与机器学习:基础概念和算法（原书第2版）》《数据库系统概念（原书第7版）》《数据库系统》等。

喜欢读"面向计算机科学的数理逻辑系统建模与推理"的人也喜欢 · · · · · ·

: 计算理论导引（原书第3版） 9.0

: 程序设计语言理论基础 7.8

: 程序设计语言 8.4

: 高伸缩性系统：Erlang/OTP大型分... 9.1

: 数理逻辑 8.5

: 应用逻辑 8.4

: 现代体系结构的优化编译器 9.1

: Lambda-Calculus and Combinator... 9.2

: 形式语言与自动机导论 8.5

: 计算机系统 9.0

我来说两句

短评 · · · · · · ( 全部 11 条 )

面向计算机科学的数理逻辑系统建模与推理的书评 · · · · · · ( 全部 2 条 )

热门最新好友只看本版本的评论

纳兰经若 2009-03-11 20:15:35

无可奈何的Delay

某日在CU上与人瞎掰，其间谈到SICP序言太过深奥，于是有人抱怨道：我从来不看序，都是些吹捧之辞，毫无价值云云。要放到平时，我会十分赞同这个观点，如果你觉得有失偏颇，那在豆瓣上随便搜一堆书找出序言来看看是否大部分异曲同工、马屁之声不绝于耳。可问题这次谈及SICP... (展开)

3 2回应

karenyskcau 2007-05-07 21:55:39 Cambridge University Press2004版

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... (展开)

0回应

> 更多书评 2篇