| 書目名稱 | Mathematical Foundations for Computing | | 編輯 | G. P. McKeown,V. J. Rayward-Smith | | 視頻video | http://file.papertrans.cn/627/626104/626104.mp4 | | 叢書名稱 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 03:44
發(fā)表于 2025-3-21 16:17:08
