| 书目名称 | Understanding Computation |
| 副标题 | Pillars, Paradigms, |
| 编辑 | Arnold L. Rosenberg,Lenwood S. Heath |
| 视频video | |
| 概述 | Promotes understanding through multi-faceted explanations.Provides a comprehensive introduction, mapping a pillars-based organization.Connects expected areas of reader interest to topics and applicati |
| 丛书名称 | Texts in Computer Science |
| 图书封面 |  |
| 描述 | .Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "computation" and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent, or are they artifacts of the way we try to perform the computations? How does one reason about such questions?..This unique textbook strives to endow students with conceptual and manipulative tools necessary to make computation theory part of their professional lives. The work achieves this goal by means of three stratagems that set its approach apart from most other texts on the subject...For starters, it develops the necessary mathematical concepts and tools from the concepts‘ simplest instances, thereby helping students gain operational control over the required mathematics. Secondly, it organizes development of theory around four "pillars," enabling students to see computational topics that have the same intellectual origins in physical proximity to one another. Finally, the text illustrates the "big ideas" that computation theory is built upon with applications of these ideas within "prac |
| 出版日期 | Textbook 2022 |
| 关键词 | Finite Automata; Computability Theory; Models of Computation; Nondeterminism; Complexity Theory |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-10055-0 |
| isbn_softcover | 978-3-031-10057-4 |
| isbn_ebook | 978-3-031-10055-0Series ISSN 1868-0941 Series E-ISSN 1868-095X |
| issn_series | 1868-0941 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 17:01:46
