This superb exposition of a complex subject examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. This book is suitable for researchers and graduate students in mathematics, philosophy, and computer science with a special interest in logic and foundational issues. Most useful to graduate students are the survey papers on computable analysis and biological computing. Logicians and theoretical physicists will also benefit from this book.
Publisher: Springer-Verlag New York Inc.
Number of pages: 560
Weight: 1021 g
Dimensions: 235 x 155 x 31 mm
Edition: 2008 ed.
From the reviews:"It is addressed to researcher and graduate students ... . All contributions to the book have been rigorously refereed, and the standards with respect to layout, references ... are high. ... This is a piece of excellent pedagogical work. The paper is hereby recommended. ... I personally find very readable and informative. ... I enjoyed reading these papers, and I assume they are all right when we take them for what they are ... ."--- (Lars Kristiansen, Studia Logica, Vol. 97, 2011)
You may also be interested in...
Please sign in to write a review