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

图书标准信息

• 作者 [英]胡思 著
• 出版社 机械工业出版社
• 出版时间 2005-04
• 版次 1
• ISBN 9787111160533
• 定价 49.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 427页
• 正文语种 英语
• 丛书 经典原版书库

【内容简介】

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。
《面向计算机科学的数理逻辑系统建模与推理（英文版·第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