| 书目名称 | Mathematical Foundations for Computing | | 编辑 | G. P. McKeown,V. J. Rayward-Smith | | 视频video | | | 丛书名称 | Computer Science Series | | 图书封面 |  | | 描述 | This text gives a clear, but rigorous description of the fundamental mathematical concepts used by computer scientists, while at the same time emphasising the need for careful justification. The authors provide proofs of all the major results; all the algorithms presented are developed carefully and their performance is analysed.Throughout, the aim is to provide a well balanced treatment of both the discrete and continuous mathematics that should be studied by the serious student of computer science. The book will therefore be most suited to those undergraduate programmes that put the emphasis on such areas as programming language semantics, program correctness, and algorithm analysis and design. | | 出版日期 | Textbook 1995Latest edition | | 关键词 | algorithms; calculus; computer science; logic; mathematics; programming; programming language | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-349-10719-3 | | copyright | G.P. McKeown and V.J. Rayward-Smith 1995 |
The information of publication is updating
|
|
发表于 2025-3-21 16:17:08
