Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic)
暫譯: 可遞歸可列集合與等級:可計算函數與可計算生成集合的研究(數學邏輯的視角)

Robert I. Soare

  • 出版商: Springer
  • 出版日期: 2014-08-23
  • 售價: $4,890
  • 貴賓價: 9.5$4,646
  • 語言: 英文
  • 頁數: 437
  • 裝訂: Paperback
  • ISBN: 3540666818
  • ISBN-13: 9783540666813
  • 海外代購書籍(需單獨結帳)

商品描述

..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists." Acta Scientiarum Mathematicarum, Ungarn 1988 ..."The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recurseively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be." Zentralblatt für Mathematik, 623.1988

商品描述(中文翻譯)

這本書是由該領域的主要研究者之一撰寫,完整地闡述了可遞歸枚舉度(r.e. degrees)的理論。所有的定義、結果和證明在正式呈現之前都清楚地進行了動機說明和解釋;證明的描述清晰且簡潔。這本書非常推薦給所有對邏輯感興趣的人。它也為計算機科學家,特別是理論計算機科學家,提供了有用的背景知識。——《數學科學學報》,匈牙利 1988年

這本書的主要目的是向讀者介紹可遞歸枚舉集合及其度數的主要結果和複雜性。作者成功地對一個相當複雜且混亂的邏輯領域進行了連貫的闡述,藉由這本書,度數理論對於學生和其他領域的邏輯學家來說變得更加易於理解。——《數學中央文獻》,623.1988