未读消息消息

店铺

我的订单收藏

拍卖

拍卖交易我的竞拍收藏

我的好友资金账户

客服 |

帮助中心 9:00-20:30 在线留言

客服电话

010-89648155

服务时间

客服咨询 8:00-21:00

纠纷处理 9:00-21:00

图书审核 9:00-18:00

监督与建议

请选择

手机孔网

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

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

分享

作者: [英] 胡思著

出版社: 机械工业出版社

出版时间: 2005-04

版次: 1

ISBN: 9787111160533

定价: 49.00

装帧: 平装

开本: 其他

纸张: 胶版纸

页数: 427页

正文语种: 英语

丛书: 经典原版书库

分类: 教材教辅考试>教材>大学教材>工程技术

71人买过

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。
《面向计算机科学的数理逻辑系统建模与推理（英文版·第2版）》适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。
《面向计算机科学的数理逻辑系统建模与推理（英文版·第2版）》自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。 Michael Huth，伦敦帝国学院计算机系高级讲师，研究方向包括模型检测与抽象，程序分析和模型检测中有序结构的应用等。 Forewordtothefirstedition
Prefacetothesecondedition
Acdnowledgements
1Propositionallogic
1.1Declarativesentences
1.2Naturaldeauction
1.2.1Rulesfornaturaldeduction
1.2.2Derivedrules
1.2.3Naturaldeductioninsummary
1.2.4Provableequivalence
1.2.5Anaside:proofbycontradiction
1.3Propositionallogicasarormallanguae
1.4SemanticsofPropositionallogic
1.4.1Themeaningoflogicalconnectives
1.4.2Mathematicalinduction
1.4.3SoundnessofPropositionallogic
1.4.4Completenessofpropositionallogic
1.5Normalforms
1.5.1Semanticequivalence,satisfiabilityandvalidity
1.5.2Conjunctivenormalformsandvalidity
1.5.3Hornclausesandsatisfiability
1.6SATsolvers
1.6.1Alinearsolver
1.6.2Acubicsolver
1.7Exercises
1.8Bibliographicnotes
2Predicatelogic
3Verificationbymodelchecking
4Programverification
5Modallogicsandagents
6Binarydecisiondiagrams
Bibliography
Index
内容简介:
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。
《面向计算机科学的数理逻辑系统建模与推理（英文版·第2版）》适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。
《面向计算机科学的数理逻辑系统建模与推理（英文版·第2版）》自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。
作者简介:
Michael Huth，伦敦帝国学院计算机系高级讲师，研究方向包括模型检测与抽象，程序分析和模型检测中有序结构的应用等。
目录:
Forewordtothefirstedition
Prefacetothesecondedition
Acdnowledgements
1Propositionallogic
1.1Declarativesentences
1.2Naturaldeauction
1.2.1Rulesfornaturaldeduction
1.2.2Derivedrules
1.2.3Naturaldeductioninsummary
1.2.4Provableequivalence
1.2.5Anaside:proofbycontradiction
1.3Propositionallogicasarormallanguae
1.4SemanticsofPropositionallogic
1.4.1Themeaningoflogicalconnectives
1.4.2Mathematicalinduction
1.4.3SoundnessofPropositionallogic
1.4.4Completenessofpropositionallogic
1.5Normalforms
1.5.1Semanticequivalence,satisfiabilityandvalidity
1.5.2Conjunctivenormalformsandvalidity
1.5.3Hornclausesandsatisfiability
1.6SATsolvers
1.6.1Alinearsolver
1.6.2Acubicsolver
1.7Exercises
1.8Bibliographicnotes
2Predicatelogic
3Verificationbymodelchecking
4Programverification
5Modallogicsandagents
6Binarydecisiondiagrams
Bibliography
Index

查看详情

其他版本 / 全部 (2)

Cambridge University Press2004-08
机械工业出版社2007-07

12条
|
综合排序
最新上架
店铺
价格从低到高（不含运费）

总价从低到高总价从高到低价格从低到高（不含运费）价格从高到低（不含运费）
品相

全新九五品以上九品以上八五品以上八品以上七品以上六品以上五品以上四品及以下全部品相
只看全新
不同品相有何区别

面向计算机科学的数理逻辑系统建模与推理9787111160533[英]胡思著出版社机械工业出版社

八五品

西安电子科技大学慧众书店

陕西省西安市

平均发货15小时成功完成率71.25%

￥13.00

券

100减20

立即购买加入购物车
面向计算机科学的数理逻辑系统建模与推理

八五品

中国人书店

北京市海淀区

平均发货23小时成功完成率91.78%

￥15.00

券

100减20

立即购买加入购物车
面向计算机科学的数理逻辑系统建模与推理英文版，第2版

八五品

雅心斋读书俱乐部

江苏省连云港市

平均发货4小时成功完成率95.59%

￥18.00

券

100减20

立即购买加入购物车
面向计算机科学的数理逻辑系统建模与推理

九品

虞美人

北京市朝阳区

平均发货22小时成功完成率100%

￥19.00

券

100减20

立即购买加入购物车
面向计算机科学的数理逻辑系统建模与推理

八品

明妍明的书摊

广东省揭阳市

平均发货44小时成功完成率55.56%

￥19.00

券

100减20

立即购买加入购物车不属于本条目
面向计算机科学的数理逻辑系统建模与推理笔记少

九品

大学二手教材书店

湖北省武汉市

平均发货11小时成功完成率77.41%

￥22.00

券

100减20

立即购买加入购物车
面向计算机科学的数理逻辑系统建模与推理笔记多

八品

伊宝书店

安徽省阜阳市

平均发货55小时成功完成率81.53%

￥22.00

券

100减20

立即购买加入购物车
面向计算机科学的数理逻辑系统建模与推理

九品

沅陵县闻泰图书店

湖南省长沙市

平均发货16小时成功完成率94.63%

￥23.00

券

100减20

立即购买加入购物车
面向计算机科学的数理逻辑系统建模与推理原版二手书，未见字迹

九品

天津市南大书店

天津市津南区

平均发货14小时成功完成率92.79%

￥24.00

券

100减20

立即购买加入购物车不属于本条目
面向计算机科学的数理逻辑系统建模与推理没笔记

九品

友嘉书店

湖北省荆州市

平均发货5小时成功完成率96.98%

￥34.00

券

100减20

立即购买加入购物车