应用逻辑（英文版·第2版）

图书标准信息

• 作者 [美]尼罗德 著
• 出版社 机械工业出版社
• 出版时间 2006-09
• 版次 1
• ISBN 9787111197720
• 定价 49.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 456页

【内容简介】

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题，但是书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑，而这些主题在现代计算机科学中变得越来越重要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。

  本书不要求读者具备逻辑基础知识，适合计算机科学和数学高年级本科生以及低年级研究生使用。

【作者简介】

Anil Nerode 康奈大学数学系的创始人和教授，于1956年在芝加哥大学获得博士学位。他的研究领域包括数理逻辑、自动机、可计算理论、混合系统等。除本书外，他还与其他人合著了《Effective Completeness Theorems for Modal Logic》、《Tableaux for Constructive Concurrent D

【目录】

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