| 书目名称 | Introduction to Computation | | 副标题 | Haskell, Logic and A | | 编辑 | Donald Sannella,Michael Fourman,Philip Wadler | | 视频video | | | 概述 | Introduces computation, spanning the key concepts and methods.Highly intuitive and accessible explanatory style.Firm grounding in logic and automata, with an approach using Haskell.Request lecturer ma | | 丛书名称 | Undergraduate Topics in Computer Science | | 图书封面 |  | | 描述 | Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. From core elements like sets, types, Venn diagrams and logic, to patterns of reasoning, calculus, recursion and expression trees, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science. | | 出版日期 | Textbook 2021 | | 关键词 | computing; logic; Automata; Haskell; algorithms; introduction; mathematics of computing | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-76908-6 | | isbn_softcover | 978-3-030-76907-9 | | isbn_ebook | 978-3-030-76908-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
|
|
发表于 2025-3-21 19:02:58
