| Michael Huth，伦敦帝国学院计算机系高级讲师，研究方向包括模型检测与抽象，程序分析和模型检测中有序结构的应用等。 |
| 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.3 Soundness of Propositional logic 1.4.4 Completeness of propositional logic 1.5 Normal forms 1.5.1 Semantic equivalence,satisfiability and validity 1.5.2 Conjunctive normal forms and validity 1.5.3 Horn clauses and satisfiability 1.6 SAT solvers 1.6.1 A linear solver 1.6.2 A cubic solver 1.7 Exercises 1.8 Bibliographic notes 2 Predicate logic 3 Verification by model checking 4 Program verification 5 Modal logics and agents 6 Binary decision diagrams Bibliography Index |
内容加载中，请稍后...
商品评论（0条）