Handbook of Computability Theory

Nonfiction, Science & Nature, Mathematics, Discrete Mathematics, Computers, General Computing
Cover of the book Handbook of Computability Theory by , Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9780080533049
Publisher: Elsevier Science Publication: October 1, 1999
Imprint: North Holland Language: English
Author:
ISBN: 9780080533049
Publisher: Elsevier Science
Publication: October 1, 1999
Imprint: North Holland
Language: English

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

More books from Elsevier Science

Cover of the book The Flaviviruses: Detection, Diagnosis and Vaccine Development by
Cover of the book Handbook of Stem Cells by
Cover of the book Metabolic Syndrome and Psychiatric Illness: Interactions, Pathophysiology, Assessment and Treatment by
Cover of the book Digital Forensics Processing and Procedures by
Cover of the book Tribology and Biophysics of Artificial Joints by
Cover of the book Solar Energy in the 80s by
Cover of the book Optimizing Thermal, Chemical, and Environmental Systems by
Cover of the book Progress in Optics by
Cover of the book Developments and Innovation in Carbon Dioxide (CO2) Capture and Storage Technology by
Cover of the book Genomics in Aquaculture by
Cover of the book Mathematics for Engineers and Technologists by
Cover of the book Arachnoid Cysts by
Cover of the book Heart Development and Regeneration by
Cover of the book Fish Physiology: Fish Neuroendocrinology by
Cover of the book Polyurethane Polymers: Blends and Interpenetrating Polymer Networks by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy