Reflexive Structures: An Introduction to Computability Theory - Hardcover

Sanchis, Luis E.

 
9780387967288: Reflexive Structures: An Introduction to Computability Theory
Hardcover
ISBN 10: 0387967281 ISBN 13: 9780387967288
Verlag: Springer-Verlag New York Inc., 1988

Inhaltsangabe

Reflexive Structures: 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 theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: 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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Reflexive Structures: 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 theory: closure properties, reflexivity, enumeration, and hyperenumeration. Of particular interest is the treatment of recursion, which is considered from two different points of view: 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer-Verlag New York Inc.
Erscheinungsdatum
1988
Sprache
Englisch
ISBN 10 
0387967281
ISBN 13 
9780387967288
Einband
Tapa dura
Anzahl der Seiten
245
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
0
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
0
Hamburg
0
22391
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781461283867: Reflexive Structures: An Introduction to Computability Theory

Vorgestellte Ausgabe

ISBN 10:  1461283868 ISBN 13:  9781461283867
Verlag: Springer, 2011
Softcover