Reflexive Structures: An Introduction to Computability Theory
Sanchis Luis, E.:
ISBN 10: 3540967281 ISBN 13: 9783540967286
Published by Springer-Verlag GmbH, 1988
Used
Hardcover
From
Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since February 12, 2002
This specific item is no longer available.
About this Item
Description:
XII, 233 p. ; 25 cm Unread book. Like new. Minimum traces of storage. 9783540967286 Sprache: Englisch Gewicht in Gramm: 717. Seller Inventory # 201879
Synopsis:
Reflexive An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and numerical functions are considered exclusively, which results in a concrete theory conceptually organized around Church's thesis. The book develops the important structures in recursive function closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of via the minimal fixed point theory of continuous transformations, and via the well known stack algorithm. Reflexive Structures is intended as an introduction to the general theory of computability. It can be used as a text or reference in senior undergraduate and first year graduate level classes in computer science or mathematics.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Reflexive Structures: An Introduction to ...
Publisher: Springer-Verlag GmbH
Publication Date: 1988
Binding: Hardcover