| 书目名称 | Mathematics in Computing | | 副标题 | An Accessible Guide | | 编辑 | Gerard O’Regan | | 视频video | | | 概述 | Provides a broad review of the applications of mathematics to computing, including software engineering, coding theory, cryptography and software reliability.Emphasizes the application of mathematics | | 丛书名称 | Undergraduate Topics in Computer Science | | 图书封面 |  | | 描述 | .This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems..This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, model checking, software reliability and dependability, algebra, sequences and series, and mathematical induction..Topics and features: includes numerous pedagogical features, such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; describes the historical contributions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, a | | 出版日期 | Textbook 2020Latest edition | | 关键词 | Calculus; Coding Theory; Cryptography; Discrete Mathematics; Formal Methods; Graph Theory; Group Theory an | | 版次 | 2 | | doi | https://doi.org/10.1007/978-3-030-34209-8 | | isbn_softcover | 978-3-030-34208-1 | | isbn_ebook | 978-3-030-34209-8Series ISSN 1863-7310 Series E-ISSN 2197-1781 | | issn_series | 1863-7310 | | copyright | Springer Nature Switzerland AG 2020 |
The information of publication is updating
|
|
发表于 2025-3-21 16:32:20
