Reflexive Structures - An Introduction to Computability Theory (Paperback, Softcover reprint of the original 1st ed. 1988)

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Release date:	September 2011
First published:	1988
Authors:	Luis E. Sanchis
Dimensions:	235 x 155 x 13mm (L x W x T)
Format:	Paperback
Pages:	233
Edition:	Softcover reprint of the original 1st ed. 1988
ISBN-13:	978-1-4612-8386-7
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Applications of computing > General Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	1-4612-8386-8
Barcode:	9781461283867

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!