|
| | |
|
作者：胡思
出版社：机械工业
出版日期：2005-4-1
译者：
|
|
ISBN：711116053 |
| 开本：16开 |
|
装帧： |
原价：
49 元 |
|
| | 三星会员：42.61 元 |
二星：43.53 元 |
一星：44.45 元 |
普通：45.82 元 |
|
 
团购服务电话13146064908 价格优惠！ |
|
|
|
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品(电路、程序和通信协议等)日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。
本书适合作为高等院校计算机及相关专业的数理逻辑／形式化方法课程教材，涵盖了命题逻辑、谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性(SAT)算法、紧致性理论和Lowenheim-Skolem定理，并介绍了Alloy语言和NuSMV工具。
本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基—梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰Vrije大学、印度理工学院在内的多个国家几十所高校采纳为教材。
|
|
| 
|
| 
Foreword to the first edition
Preface to the second edition
Acdnowledgements
1 Propositional logic
1.1 Declarative sentences
1.2 Natural deauction
1.2.1 Rules for natural deduction
1.2.2 Derived rules
1.2.3 Natural deduction in summary
1.2.4 Provable equivalence
1.2.5 An aside:proof by contradiction
1.3 Propositional logic as a rormal languae
1.4 Semantics of Propositional logic
1.4.1 The meaning of logical connectives
1.4.2 Mathematical induction
1.4 更多>>
|
|
|
| |
