书目名称 | Limits of Computation | 副标题 | From a Programming P | 编辑 | Bernhard Reus | 视频video | | 概述 | Illustrates proofs by means of programs written in a high-level imperative programming language.Includes chapters on the emergent fields of molecular and quantum computing.Highlights countless connect | 丛书名称 | Undergraduate Topics in Computer Science | 图书封面 |  | 描述 | .This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in the field of computability and time complexity, including the Halting Problem, Rice‘s Theorem, Kleene‘s Recursion Theorem, the Church-Turing Thesis, Hierarchy Theorems, and Cook-Levin‘s Theorem. Each chapter contains classroom-tested material, including examples and exercises. Links between adjacent chapters provide a coherent narrative..Fundamental results are explained lucidly by means of programs written in a simple, high-level imperative programming language, which only requires basic mathematical knowledge. Throughout the book, the impact of the presented results on the entire field of computer science is emphasised. Examples range from program analysis to networking, from database programming to popular games and puzzles. Numerous biographical footnotes about the famous scientists who developed the subject are also included.."Limits of Computation". offers a thorough, yet accessible, introduction to computability and complexity for the computer science student of the 21st centu | 出版日期 | Textbook 2016 | 关键词 | Computability; Computational Complexity; Fixpoint Theorem; Halting Problem; Graph Theory; algorithm analy | 版次 | 1 | doi | https://doi.org/10.1007/978-3-319-27889-6 | isbn_softcover | 978-3-319-27887-2 | isbn_ebook | 978-3-319-27889-6Series ISSN 1863-7310 Series E-ISSN 2197-1781 | issn_series | 1863-7310 | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
The information of publication is updating
|
|