| 书目名称 | Modelling Computing Systems |
| 副标题 | Mathematics for Comp |
| 编辑 | Faron Moller,Georg Struth |
| 视频video | |
| 概述 | Provides an elementary introduction to the mathematics and modelling of computing systems.Explores concepts of games and strategies to provide a paradigm for understanding the nature of computation.De |
| 丛书名称 | Undergraduate Topics in Computer Science |
| 图书封面 |  |
| 描述 | This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. .Features: demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation; contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples; describes a modelling approach based on state transition systems.. |
| 出版日期 | Textbook 2013 |
| 关键词 | Discrete mathematics in computer science; Logics and meanings of programs; Math applications in comput |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-84800-322-4 |
| isbn_softcover | 978-1-84800-321-7 |
| isbn_ebook | 978-1-84800-322-4Series ISSN 1863-7310 Series E-ISSN 2197-1781 |
| issn_series | 1863-7310 |
| copyright | Springer-Verlag London Ltd., part of Springer Nature 2013 |
发表于 2025-3-21 19:33:13
