| 书目名称 | New Computational Paradigms | | 副标题 | Changing Conceptions | | 编辑 | S. Barry Cooper,Benedikt Löwe,Andrea Sorbi | | 视频video | | | 概述 | Explores new developments in the theory and practice of computation from a mathematical perspective.Includes topics ranging from classical computability to complexity, biocomputing, and quantum comput | | 图书封面 |  | | 描述 | .In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics. The deep interconnection between "computation" and "proof" has originated much of the most significant work in constructive mathematics and mathematical logic of the last 70 years. Moreover, the increasingly compelling necessity to deal with computability in the real world (such as computing on continuous data, biological computing, and physical models) has brought focus to new paradigms of computation that are based on biological and physical models. These models address questions of efficiency in a radically new way and even threaten to move the so-called Turing barrier, i.e. the line between the decidable and the un-decidable...This book 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. The book opens with an introduction by Andrew Hodges, the Turing biographer, who analyzes the pioneering work that anticipated recent developments concerning computation’s | | 出版日期 | Book 2008 | | 关键词 | Analysis; algorithms; complexity; complexity theory; computability theory; computer; computer science; info | | 版次 | 1 | | doi | https://doi.org/10.1007/978-0-387-68546-5 | | isbn_softcover | 978-1-4419-2263-2 | | isbn_ebook | 978-0-387-68546-5 | | copyright | Springer-Verlag New York 2008 |
The information of publication is updating
|
|
发表于 2025-3-21 19:43:19
