Basic Proof Theory
暫譯: 基本證明理論

Troelstra, Anne S., Troelstra, A. S., Schwichtenberg, H.

  • 出版商: Cambridge
  • 出版日期: 2000-07-27
  • 售價: $2,620
  • 貴賓價: 9.5$2,489
  • 語言: 英文
  • 頁數: 432
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 0521779111
  • ISBN-13: 9780521779111
  • 相關分類: 離散數學 Discrete-mathematics
  • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence.

商品描述(中文翻譯)

這本關於結構證明理論基本概念的介紹,詳細討論並比較了各種一階邏輯的形式化類型。書中舉例說明了幾個應用領域,包括:純一階邏輯的元數學、邏輯程式設計理論、範疇理論、模態邏輯、線性邏輯、一階算術和二階邏輯。在每個案例中,作者在相對簡單的情況下說明這些方法,然後在更複雜的環境中應用它們。對於新版本,他們重寫了許多章節以提高清晰度,新增了有關切除消除的章節,並包含了選定練習的解答。一般來說,唯一的先決條件是一門標準的一階邏輯課程,使這本書非常適合研究生和數學邏輯、理論計算機科學及人工智慧的初學研究者。