| 書目名稱 | Introduction to Computation |
| 副標(biāo)題 | Haskell, Logic and A |
| 編輯 | Donald Sannella,Michael Fourman,Philip Wadler |
| 視頻video | http://file.papertrans.cn/474/473543/473543.mp4 |
| 概述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-2-5 16:13
發(fā)表于 2025-3-21 19:02:58
