Discrete Mathematics Using a Computer is popular PDF and ePub book, written by Cordelia Hall in 2013-04-17, it is a fantastic choice for those who relish reading online the Mathematics genre. Let's immerse ourselves in this engaging Mathematics book by exploring the summary and details provided below. Remember, Discrete Mathematics Using a Computer can be Read Online from any device for your convenience.
Discrete Mathematics Using a Computer Book PDF Summary
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 arithmetic and trigonometric functions, it will be used to calculate with sets, relations, functions, predicates and inferences. There are also special software tools, for example a proof checker for logical proofs using natural deduction.
Detail Book of Discrete Mathematics Using a Computer PDF
- Author : Cordelia Hall
- Release : 17 April 2013
- Publisher : Springer Science & Business Media
- ISBN : 9781447136576
- Genre : Mathematics
- Total Page : 345 pages
- Language : English
- PDF File Size : 14,5 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Discrete Mathematics Using a Computer by Cordelia Hall, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.