| 書目名稱 | Discrete Mathematics Using a Computer | | 編輯 | Cordelia Hall,John O’Donnell | | 視頻video | http://file.papertrans.cn/282/281142/281142.mp4 | | 概述 | Takes an entirely original approach to the teaching Discrete Mathematics, aimed at making it easier for students to learn difficult concepts.Uses a simple functional language, requiring no prior knowl | | 圖書封面 |  | | 描述 | Several areas of mathematics find application throughout computer science, and all students of computer science need a practical working understanding of them. These core subjects are centred on logic, sets, recursion, induction, relations and functions. The material is often called discrete mathematics, to distinguish it from the traditional topics of continuous mathematics such as integration and differential equations. The central theme of this book is the connection between computing and discrete mathematics. This connection is useful in both directions: ? Mathematics is used in many branches of computer science, in applica- tions including program specification, datastructures,design and analysis of algorithms, database systems, hardware design, reasoning about the correctness of implementations, and much more; ? Computers can help to make the mathematics easier to learn and use, by making mathematical terms executable, making abstract concepts more concrete, and through the use of software tools such as proof checkers. These connections are emphasised throughout the book. Software tools (see Appendix A) enable the computer to serve as a calculator, but instead of just doing a | | 出版日期 | Textbook 20001st edition | | 關(guān)鍵詞 | Computer; Correctness proofs; Discrete Mathematics; Formal Methods; Functional Programming; Induction; Mat | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4471-3657-6 | | isbn_ebook | 978-1-4471-3657-6 | | copyright | Springer-Verlag London 2000 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 20:10
發(fā)表于 2025-3-21 17:40:12
