应用逻辑（英文版·第2版）
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题，但是书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑，而这些主题在现代计算机科学中变得越来越重要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。
本书不要求读者具备逻辑基础知识，适合计算机科学和数学高年级本科生以及低年级研究生使用。 作者简介：
Anil Nerode 康奈大学数学系的创始人和教授，于1956年在芝加哥大学获得博士学位。他的研究领域包括数理逻辑、自动机、可计算理论、混合系统等。除本书外，他还与其他人合著了《Effective Completeness Theorems for Modal Logic》、《Tableaux for Constructive Concurrent Dynamic Logic》、《Logic，Categories，Lambda Calculus》等书。
编辑推荐：
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。
目录：
Preface
Introduction Ⅰ Propositional Logic 1 Orders and Trees 2 Propositions, Connectives and Truth Tables 3 Truth Assignments and Valuations 4 Tableau Proofs in Propositional Calculus 5 Soundness and Completeness of Tableau Proofs 6 Deductions form Premises and Compactness 7 An Axiomatic Approach* 8 Resolution 9 Eefining Resolution 10 Linear Resolution, Horn Clauses and PROLOG Ⅱ Predicate Logic 1 Predicates and Quantifiers 2 The Language: Terms and Formulas 3 Formation Trees, Structures and Lists 4 Semantics: Meaning and Truth 5 Interpretations of PROLOG Programs 6 Proofs: Complete SDystematic Tableaux 7 Soundness and Completeness of Tableau Proofs 8 An Axiomatic Approach* 9 Prenex Normal Form and Skolemization 10 Herbrand's Theorem 11 Unification 12 The Unification Algorithm 13 Resolution 14 Refining Resolution: Linear Resolution Ⅲ PROLOG 1 SLD-Resolution 2 Implementations: Searching and Backtracking 3 Controlling the Implementation: Cut 4 Termination Conditions for PROLOG Programs 5 Equality 6 Negation as Failure 7 Negation and Nonmonotonic Logic 8 Computability and Undecidability Ⅳ Modal Logic …… Ⅴ Intuitionistic Logic Ⅵ Elements of Set Theory Appendix A: An Historical Overview Appendix B: A Genealogical Database Bibliography Indes of Symbols Indes of Terms |